Numerically Representing A Stochastic Process Algebra

Jie Ding Jane Hillston

Published in: CoRR (2010)

Keyphrases

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