|
[GHKR03]
S. Gilmore, J. Hillston, L. Kloul and M. Ribaudo.
Performance modelling with PEPA nets and PRISM.
In Proc. 2nd Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti), pages 23-39.
June 2003.
http://www.dcs.ed.ac.uk/home/stg/
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.dcs.ed.ac.uk/home/stg/
|