IONS FOR PROCESS NETWORKS Maciej Koutny*, Giuseppe Pappalardo** and Marta Pietkiewicz-Koutny* (*) School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K. {maciej.koutny, marta.koutny}@ncl.ac.uk (**) Dipartimento di Matematica e Informatica, Università di Catania, I-95125 Catania, Italy pappalardo@dmi.unict.it ABSTRACT A promising way of dealing with co mplex behaviours of networks of communicating processes is to use abstractions. In our previous work, interface abstraction, modelled through a suitable relation, allowed us to `interpret’ the behaviour of an implementation pro cess as that of a specification process, even in the event that their interfaces differ. The proposed relation is compositional, in the sense that a composition of communicating sub-systems may be implemented by connecting their respective implementations. In our previous work, abstraction has been shown to distribute only over network composition, which restricts its usefulness for compositi onal correctness analysis. In this paper we extend our treatment to other process constructs, known to be useful in the development of complex distributed applications.