A Concurrent Functional Semantics for a Process Algebra Based on Action Systems.

Ugo Montanari Gioia Ristori

Published in: Fundam. Informaticae (1997)

Keyphrases

process algebra
concurrent programs
formal methods
asynchronous circuits
formal specification
formal languages
concurrent systems
distributed systems
building blocks
model checking
communication protocols
real time
case study
petri net