On Sequentializing Concurrent Programs.

Ahmed Bouajjani Michael Emmi Gennaro Parlato

Published in: SAS (2011)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
concurrent processes
concurrent systems
asynchronous circuits
formal specification
artificial intelligence
object oriented
model checking
information systems
knowledge base
high level
general purpose
service discovery