Extending Timed Process Algebra with Discrete Stochastic Time.

Jasen Markovski Erik P. de Vink

Published in: AMAST (2008)

Keyphrases

process algebra
petri net
concurrent systems
formal specification
asynchronous circuits
model checking
formal methods
grid workflow
web services composition
communication protocols
concurrent programs
discrete event
temporal logic
information systems
formal languages
process model
open source
high level