Login / Signup
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets.
Holger Hermanns
Ulrich Herzog
Vassilis Mertsiotakis
Michael Rettelbach
Published in:
PNPM (1997)
Keyphrases
</>
process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
concurrent programs
communication protocols
grid workflow
temporal logic
formal languages
web service composition
real time
knowledge representation
distributed systems