1. Baldi, M., Picco, G.P.: Evaluating the tradeoffs of mobile code design paradigms in network management applications. In: Proceedings of ICSE 1998. ACM Press, New York (1998)
2. Bernardo, M., Donatiello, L., Gorrieri, R.: A formal approach to the integration of performance aspects in the modelling and analysis of concurrent systems. Information and Computation 144, 83–154 (1998)
3. Boudol, G., Castellani, I.: A non-interleaving semantics for CCS based on proved transitions. Fundamenta Informaticae XI(4), 433–452 (1988)
4. Buchholz, P.: On a markovian process algebra. Technical report, Informatik IV, University of Dortmund (1994)
5. Carzaniga, A., Picco, G.P., Vigna, G.: Designing distributed applications with mobile code paradigms. In: Proceedings of ICSE 1997, pp. 23–32. ACM Press, New York (1997)