A comparison of performance evaluation process algebra and generalized stochastic Petri nets.

Susanna Donatelli Marina Ribaudo Jane Hillston

Published in: PNPM (1995)

Keyphrases

process algebra
concurrent systems
asynchronous circuits
formal specification
model checking
formal methods
information systems
artificial intelligence
communication protocols