Merge and Termination in Process Algebra.

Jos C. M. Baeten Rob J. van Glabbeek

Published in: FSTTCS (1987)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
concurrent programs
communication protocols
petri net
temporal logic
grid workflow
programming environment
social networks
process model