A bulk-synchronous parallel process algebra.

Armelle Merlin Gaétan Hains

Published in: Comput. Lang. Syst. Struct. (2007)

Keyphrases

process algebra
formal specification
model checking
asynchronous circuits

formal methods
web services composition
concurrent systems

communication protocols
concurrent programs
temporal logic

real time
case study
petri net