1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, “Modelling with Generalized Stochastic Petri Nets”, John Wiley & Sons, 1995
2. A. Aldini, M. Bernardo, R. Gorrieri, “An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking”, in Proc. of the 7th Int. Workshop on Process Algebra and Performance Modelling (PAPM 1999), Prensas Universitarias de Zaragoza, pp. 119–138, Zaragoza (Spain), 1999
3. A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti, “Comparing the QoS of Internet Audio Mechanisms via Formal Methods”, in ACM Trans. on Modeling and Computer Simulation 11:1–42, 2001
4. R. Allen, D. Garlan, “A Formal Basis for Architectural Connection”, in ACM Trans. on Software Engineering and Methodology 6:213–249, 1997
5. J.C.M. Baeten, W.P. Weijland, “Process Algebra”, Cambridge University Press, 1990