Probabilistic Process Algebra and Strategic Interleaving.

Cornelis A. Middelburg

Published in: Sci. Ann. Comput. Sci. (2020)

Keyphrases

process algebra
concurrent systems
asynchronous circuits
model checking
formal specification
formal methods
web services composition
petri net
concurrent programs
case study
communication protocols
grid workflow
knowledge management
distributed systems
artificial intelligence
software engineering