Streamlining progress-based derivations of concurrent programs.

Brijesh Dongol Arjan J. Mooij

Published in: Formal Aspects Comput. (2008)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
concurrent systems
concurrent processes
software engineering
programming language
database
real time
database systems
cloud computing
resource management