A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems. - Jean-Pierre Courtiat; Luiz F. Rust da Costa Carmo; Roberto C. de Oliveira (ICMCS, 1994)

Towards a New Multimedia Synchronization Mechanism and its Formal Definition. - Jean-Pierre Courtiat; Roberto C. de Oliveira; Luiz F. Rust da Costa Carmo (ACM Multimedia, 1994)

About time nondeterminism and exception handling in a temporal extension of LOTOS. - Jean-Pierre Courtiat; Roberto C. de Oliveira (PSTV, 1994)

A Reachability Analysis of RT-LOTOS Specifications. - Jean-Pierre Courtiat; Roberto C. de Oliveira (FORTE, 1995)

Specification and Validation of Multimedia Protocols using RT-LOTOS. - Jean-Pierre Courtiat; Roberto C. de Oliveira; L. Andriantsiferana (FTDCS, 1995)

RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. - Jean-Pierre Courtiat; Roberto C. de Oliveira (MMNET, 1995)

The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism. - Jean-Pierre Courtiat; Roberto C. de Oliveira; Luiz F. Rust da Costa Carmo (Inf. Syst., 1995)

Proving Temporal Consistency in a New Multimedia Synchronization Model. - Jean-Pierre Courtiat; Roberto C. de Oliveira (ACM Multimedia, 1996)

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems. - Jean-Pierre Courtiat; Michel Diaz; Roberto C. de Oliveira; Patrick Sénac (Comput. Commun., 1996)

A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations. - Jean-Pierre Courtiat; Luiz F. Rust da Costa Carmo; Roberto C. de Oliveira (IEEE J. Sel. Areas Commun., 1996)

An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. - L. Andriantsiferana; Jean-Pierre Courtiat; Roberto C. de Oliveira; L. Picci (FORTE, 1997)