Abstract
ULg Research Unit in Networking RUN
Abstract


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
2 Research unit in Networking, EECS department, University of Liège, Belgium

(1994)

Abstract

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.

Keywords

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: - RUN Admin -
Still running IPv4 at: 3.18.105.157... RUN | Montefiore | ULg
© 2000-2025.