| |
| 2004 | ||
|---|---|---|
| 3 | EE | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Relating Communicating Processes with Different Interfaces. Fundam. Inform. 59(1): 1-37 (2004) |
| 2001 | ||
| 2 | EE | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Implementing Communicating Processes in the Event of Interface Difference. ACSD 2001: 87- |
| 1 | EE | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Verifying Implementation Relations. FME 2001: 364-383 |
| 1 | Maciej Koutny | [1] [2] [3] |
| 2 | Giuseppe Pappalardo | [1] [2] [3] |