Process Algebra with Probabilistic Choice.

Published in: ARTS (1999)

Keyphrases

process algebra
formal specification
concurrent systems
asynchronous circuits
model checking
formal methods
web services composition
communication protocols
petri net
concurrent programs
grid workflow
temporal logic