Stochastic Petri net semantics for stochastic process algebras

Marina Ribaudo. Stochastic Petri net semantics for stochastic process algebras. In Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995. pages 148-157, IEEE, 1995. [doi]

Authors

Marina Ribaudo

This author has not been identified. Look up 'Marina Ribaudo' in Google