Real space process algebra.

Jos C. M. Baeten Jan A. Bergstra

Published in: Formal Aspects Comput. (1993)

Keyphrases

process algebra
asynchronous circuits
formal specification
model checking
machine learning
concurrent systems
concurrent programs
database
social networks
high level
general purpose
communication protocols