| |
| 1992 | ||
|---|---|---|
| 3 | B. Gamatie: Intensionally Stable Functions. LFCS 1992: 163-173 | |
| 1987 | ||
| 2 | Philippe Darondeau, B. Gamatie: A Fullt Observational Model for Infinite Behaviours of Communicating Systems. TAPSOFT, Vol.1 1987: 153-168 | |
| 1986 | ||
| 1 | B. Gamatie: Towards Specification and Proof of Asynchronous Systems. STACS 1986: 262-276 | |
| 1 | Philippe Darondeau | [2] |