Process Algebra with a Zero Object.

Jos C. M. Baeten Jan A. Bergstra

Published in: CONCUR (1990)

Keyphrases

process algebra
formal specification
concurrent systems
asynchronous circuits
model checking
web services composition
formal methods
communication protocols
relational databases
machine learning
multi agent systems
wireless networks
software systems
distributed databases