A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.

Holger Hermanns Vassilis Mertsiotakis Michael Rettelbach

Published in: TACAS (1996)

Keyphrases

analysis tool
process algebra
asynchronous circuits
formal specification
concurrent systems
formal methods
model checking
web services composition
concurrent programs
communication protocols
petri net
temporal logic
grid workflow
machine learning
web services