Login / Signup
Process Algebra: A Unifying Approach.
C. A. R. Hoare
Published in:
25 Years Communicating Sequential Processes (2004)
Keyphrases
</>
process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
communication protocols
concurrent programs
grid workflow
temporal logic
artificial intelligence
petri net
case study
distributed systems
fine grained