Probabilistic process algebra and strategic interleaving.

Cornelis A. Middelburg

Published in: CoRR (2019)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
formal methods
asynchronous circuits
communication protocols
web services composition
concurrent programs
database systems
natural language
knowledge representation
knowledge management
temporal logic
programming environment