Collaborated with:
P.Darondeau
Talks about:
behaviour (1) communic (1) infinit (1) system (1) observ (1) model (1) fullt (1)
Person: B. Gamatie
DBLP: Gamatie:B=
Contributed to:
Wrote 1 papers:
- CAAP-1987-DarondeauG #behaviour #communication #infinity
- A Fullt Observational Model for Infinite Behaviours of Communicating Systems (PD, BG), pp. 153–168.