Specification of a Distributed Coordination Function in LOTOS. - Ing Widya; Franck Sadoun; Gert-Jan van der Heijden (FORTE, 1991)