1. Timing and causality in process algebra;Aceto;Acta Inform.,1996
2. Modelling with Generalized Stochastic Petri Nets;Ajmone Marsan,1995
3. A Process Algebraic Approach to Software Architecture Design;Aldini,2010
4. Abstraction in probabilistic process algebra;Andova,2001
5. The insensitivity balance equations;Baccelli,1987