Formalization of timethreads using LOTOS.

Daniel Amyot
Timethreads are a new notation for visual description of the different causality paths of a system. They illustrate causality sequences of activities through systems. A design process based on the use of timethreads has already been defined. The Formal Description Technique LOTOS (Language Of Temporal Ordering Specification) is a specification language based on the temporal ordering of observational behaviour. This thesis aims at the integration of formal methods in the design of real-time and distributed...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.