Global Renaming Operators in Concrete Process Algebra

Jos C. M. Baeten Jan A. Bergstra

Published in: Inf. Comput. (1988)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
formal methods
asynchronous circuits
communication protocols
web services composition
grid workflow
concurrent programs
database
database systems
building blocks
temporal logic
formal languages