ULg Research Unit in Networking RUN

An enhanced Version of Timed LOTOS and its Application to a Case Study

L. Léonard1 and G. Leduc1

1 Research unit in Networking, EECS department, University of Liège, Belgium



We propose here ET-LOTOS, a timed extension of LOTOS. It is an enhancement of Timed LOTOS that we presented at FORTE 92. We show how some modifications allow us to improve the expressiveness of our former formalism. To assess ET-LOTOS, we apply it to the specification of a small case study. Finally, we show how the semantics of ET-LOTOS could be modified to easily define more powerful operators, if one ever had to.


formal definitions and theory, formal languages, language constructs and features, mathematical logic and formal languages, programming languages

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: RUN | Montefiore | ULg
© 2000-2015.