Process Algebra as Modelling.

Chris M. N. Tofts

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

process algebra
concurrent systems
formal specification
asynchronous circuits
model checking
formal methods
web services composition
communication protocols
concurrent programs
petri net
temporal logic
grid workflow
knowledge base
web services
knowledge based systems
service composition