1. L. Aceto. A static view of localities. Formal Aspects of Computing, 1992.
2. R.M. Amadio and S. Prasad. Localities and failures. In Proceedings of FST-TCS’94, pages 205–216. Springer-Verlag, 1994.
3. M. Bernardo, L. Donatiello, and R. Gorrieri. Integrating performance and functional analysis of concurrent systems with EMPA. Technical Report UBLCS-95-14, University of Bologna, Laboratory for Computer Science, 1995.
4. Lect Notes Comput Sci;C. Bodei,1996
5. Lect Notes Comput Sci;C. Bodei,1997