|Research Unit in Networking|
and G. Leduc1
1 Research unit in Networking, EECS department, University of Liège, Belgium
AbstractWe 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.
Keywordsformal definitions and theory, formal languages, language constructs and features, mathematical logic and formal languages, programming languages
Editor: - G. Leduc -
Webmaster: - C. Soldani -
|Still running IPv4 at: 22.214.171.124...||