Maciej Koutny Giuseppe Pappalardo Behaviour Abstraction for Communicating Sequential Processes. 21-54 2001 48 Fundam. Inform. 1 db/journals/fuin/fuin48.html#KoutnyP01