Some Finite-Graph Models for Process Algebra.

Paul Spruit Roel J. Wieringa

Published in: CONCUR (1991)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
communication protocols
concurrent programs
temporal logic
distributed systems
grid workflow
programming environment
artificial intelligence
web services
web service composition