1. Memory-efficient kronecker algorithms with applications to the modelling of parallel systems;Benoit,2003
2. An Introduction to Numerical Solution of Markov Chains;Stewart,1994
3. Forwarders versus centralized server: an evaluation of two approaches for locating mobile agents;Alouf;Performance Evaluation,2002
4. H. Garavel, H. Hermanns, On combining functional verification and performance evaluation using CADP, Tech. Rep., Rapport de recherche INRIA n. 4492, France, July 2002. http://www.inria.fr/rrrt/rr-4492.html
5. Petri net models of concurrent Ada programs;Stansifer;Microelectronics and Reliability,1991