A Complete Finite Prefix for Process Algebra.

Rom Langerak Ed Brinksma

Published in: CAV (1999)

Keyphrases

process algebra
concurrent systems
model checking
formal specification
asynchronous circuits
formal methods
petri net
communication protocols
web services composition
concurrent programs
temporal logic