Modelling infinitary behaviours of communicating systems (1987)

by P Darondeau, B Gamati'e