Real Space Process Algebra.

Jos C. M. Baeten Jan A. Bergstra

Published in: CONCUR (1991)

Keyphrases

process algebra
formal specification
concurrent systems
asynchronous circuits
case study
communication protocols
petri net
model checking