Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Courtiat, Jean-Pierre - Laboratoire d'Analyse et d'Architecture des Systèmes du CNRS
A Case Study on Protocol Design JeanPierre Courtiat & DjamelEddine Saidouni
An experiment in using RTLOTOS for the for mal specification and verification of a distributed
A Reachability Analysis of RTLOTOS Specifications
Relating Maximalitybased Semantics to Action Refinement in Process Algebras
Pergamon Information Systems Vol. 1, No. 1, pp. 1--1, 1994 Copyright c
A Causalitybased Semantics for CCS R. J. Coelho da Costa * J.P. Courtiat
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
A Generalpurpose Multimedia Synchronization Mechanism based on Causal Relations
Syntactic Action Refinement in Presence of Multiway Synchronization
Proving Temporal Consistency in a New Multimedia Synchronization Model
On RTLOTOS and its application to the formal design of multimedia protocols \Lambda
Une comparaison des s'emantiques de maximalit'e et de causalit'e de Basic LOTOS
Formal Description of Timed Behaviours for Designing Multimedia Distributed Systems
ACM International Conference on Multimedia, October 1520, 1994, San Francisco, California * This research has been supported by CNET (under grant 92
