1. Lecture Notes in Computer Science;M. Ajmone Marsan,1998
2. Brodo, L., Gilmore, S., Hillston, J., Priami, C.: A stochastic π-calculus semantics for PEPA nets. In: Proc. of the Workshop on Process Algebras and Stochastically Timed Activities, June 2002, pp. 1–17. LFCS, University of Edinburgh (2002)
3. Lecture Notes in Computer Science;L. Cardelli,1998
4. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets and symmetric modeling applications. IEEE Transactions on Computers 42, 1343–1360 (1993)
5. Clark, G.: Techniques for the Construction and Analysis of Algebraic Performance Models. PhD thesis, The University of Edinburgh (2000)