Process algebra with conditionals in the presence of epsilon

Jan A. Bergstra Cornelis A. Middelburg

Published in: CoRR (2012)

Keyphrases

process algebra
formal specification
concurrent systems
asynchronous circuits
model checking
formal methods
web services composition
concurrent programs
grid workflow
real time
temporal logic
information systems
case study
mobile devices
petri net
belief revision