Polarized Process Algebra and Program Equivalence.

Jan A. Bergstra Inge Bethke

Published in: ICALP (2003)

Keyphrases

process algebra
concurrent programs
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
programming environment
web services composition
communication protocols
formal languages
general purpose
open source
petri net
grid workflow