1. “Adding Action Refinement to a Finite Process Algebra”;Aceto;in Information and Computation,1994
2. “A LOTOS Extension for the Performance Analysis of Distributed Systems”;Ajmone Marsan;in IEEE/ACM Trans. on Networking,1994
3. M. Bernardo, “Theory and Application of Extended Markovian Process Algebra”, Ph.D. Thesis, University of Bologna (Italy), 1999
4. M. Bravetti, A. Aldini, “Non-determinism in Probabilistic Timed Systems with General Distributions”, Technical Report UBLCS-2001-08, University of Bologna (Italy), July 2001
5. M. Bravetti, M. Bernardo, “Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time”, in Proc. of the 1st Int. Workshop on Models for Time-Critical Systems (MTCS 2000), ENTCS 39(3), State College (PA), 2000