On the usability of process algebra: An architectural view.

Alessandro Aldini Marco Bernardo

Published in: Theor. Comput. Sci. (2005)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
formal methods
asynchronous circuits
communication protocols
web services composition
concurrent programs
temporal logic
database
petri net
formal languages
machine learning
artificial intelligence
grid workflow