Review of process algebra: equational theories of communicating processes by J. C. M. Baeten, T. Basten, and M. A. Reniers.

Published in: SIGACT News (2012)

Keyphrases

equational theories
process algebra
concurrent systems
model checking
formal specification
asynchronous circuits
formal methods
communication protocols
temporal logic
databases
petri net
process model
web services composition
concurrent programs
temporal constraints
expert systems
database systems