Resources in process algebra.

Insup Lee Anna Philippou Oleg Sokolsky

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

process algebra
concurrent systems
model checking
formal specification
asynchronous circuits
web services composition
formal methods
concurrent programs
communication protocols
grid workflow
resource management
information systems
case study
high level
petri net
reverse engineering