Citation: Jp. Courtiat et al., A GENERAL-PURPOSE MULTIMEDIA SYNCHRONIZATION MECHANISM-BASED ON CAUSAL RELATIONS, IEEE journal on selected areas in communications, 14(1), 1996, pp. 185-195
Authors:
COURTIAT JP
DEMBINSKI P
HOLZMANN GJ
LOGRIPPO L
RUDIN H
ZAVE P
Citation: Jp. Courtiat et al., FORMAL METHODS AFTER 15 YEARS - STATUS AND TRENDS A PAPER-BASED ON CONTRIBUTIONS OF THE PANELISTS AT THE FORMAL-TECHNIQUE-95 CONFERENCE, MONTREAL, OCTOBER 1995, Computer networks and ISDN systems, 28(13), 1996, pp. 1845-1855
Citation: Jp. Courtiat et al., FORMAL MODELS FOR THE DESCRIPTION OF TIMED BEHAVIORS OF MULTIMEDIA AND HYPERMEDIA DISTRIBUTED SYSTEMS, Computer communications, 19(14), 1996, pp. 1134-1150
Citation: Jp. Courtiat et Rc. Deoliveira, ON RT-LOTOS AND ITS APPLICATION TO THE FORMAL DESIGN OF MULTIMEDIA PROTOCOLS, Annales des telecommunications, 50(11-12), 1995, pp. 888-906
Citation: M. Diaz et al., OBSERVER - A CONCEPT FOR FORMAL ONLINE VALIDATION OF DISTRIBUTED SYSTEMS, IEEE transactions on software engineering, 20(12), 1994, pp. 900-913