Linear Process Algebra.

Vaughan R. Pratt

Published in: ICDCIT (2011)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
distributed systems
petri net
grid workflow
machine learning
concurrent programs