Login / Signup
A process algebra for probabilistic and nondeterministic processes.
Diego Cazorla
Fernando Cuartero
Valentín Valero Ruiz
Fernando L. Pelayo
Published in:
Inf. Process. Lett. (2001)
Keyphrases
</>
process algebra
formal specification
concurrent systems
asynchronous circuits
model checking
formal methods
concurrent programs
web services composition
communication protocols
petri net
software engineering
process model
grid workflow