Towards Specification and Proof of Asynchronous Systems. - B. Gamatie (STACS, 1986)

A Fullt Observational Model for Infinite Behaviours of Communicating Systems. - Philippe Darondeau; B. Gamatie (TAPSOFT, Vol.1, 1987)

Intensionally Stable Functions. - B. Gamatie (LFCS, 1992)