Authors: COURTIAT JP CARMO LFRD DEOLIVEIRA RC

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

Authors: COURTIAT JP DIAZ M DEOLIVEIRA RC SENAC P

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

Authors: COURTIAT JP DEOLIVEIRA RC CARMO LFRD

Citation: Jp. Courtiat et al., THE RT-LOTOS FORMAL SPECIFICATION OF THE CONDITIONAL DELIVERY MECHANISM, Information systems, 20(6), 1995, pp. 521-535

Authors: COURTIAT JP DEOLIVEIRA RC

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

Authors: DIAZ M JUANOLE G COURTIAT JP

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