B. Gamatie

Publication Activity (10 Years)

Years Active: 1986-1992
Publications (10 Years): 0

Publications

B. Gamatie
Intensionally Stable Functions. LFCS (1992)
Philippe Darondeau, B. Gamatie
A Fullt Observational Model for Infinite Behaviours of Communicating Systems. TAPSOFT, Vol.1 (1987)
B. Gamatie
Towards Specification and Proof of Asynchronous Systems. STACS (1986)