Login / Signup
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