Reduction Semantics in Markovian Process Algebra.

Published in: CoRR (2015)

Keyphrases

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