Process Algebra with Backtracking.

Jan A. Bergstra Alban Ponse Jos van Wamel

Published in: REX School/Symposium (1993)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
communication protocols
concurrent programs
search algorithm
petri net
grid workflow
temporal logic
distributed systems
web service composition
database
case study
real time