Relating Communicating Processes with Different Interfaces

1 Introduction The software development process often involves refining a high-level specifica-tion into a lower-level or more concrete implementation. In the process algebraic context [8, 16, 18], both specification and implemen-tation may be represented as processes, and the notion that a proces