Turning back time in Markovian process algebra.

Peter G. Harrison

Published in: Theor. Comput. Sci. (2003)

Keyphrases

process algebra
concurrent systems
formal specification
asynchronous circuits
model checking
formal methods
communication protocols
web services composition
concurrent programs
temporal logic
petri net
distributed systems
grid workflow
formal languages
highly reliable
web service composition
real time