Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,987,708 papers from all fields of science
Search
Sign In
Create Free Account
E-LOTOS
E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by ISO in 2001. E-LOTOS was initially…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Broader (3)
Concurrency (computer science)
Concurrency control
Formal methods
Language Of Temporal Ordering Specification
Specification language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Towards a Formal Context-Aware Workflow Model for Ambient Environment
Roumeissa Khennaoui
,
Nabil Belala
International Conference on Smart Homes and…
2020
Corpus ID: 220042652
Ambient systems owns some particular characteristics that makes their context awareness a sincere problem; they are composed of…
Expand
2012
2012
Towards a Calculus for Distributed, Real-Time and Mobile Systems
T. Maarouk
,
Djamel-Eddine Saïdouni
,
Mohamed Khergag
Journal of Software
2012
Corpus ID: 8368662
This paper introduces a model for modeling real-time and mobile systems, which extends the DD-LOTOS language by the mobility…
Expand
2000
2000
Executing E-LOTOS processes in Maude
A. Verdejo
,
Narciso Martí-Oliet
2000
Corpus ID: 17728374
Rewriting logic can be used as a semantic framework where the formal structural operational semantics of specification languages…
Expand
1999
1999
An Edit and Compile Software which can automatically Translate E LOTOS into Graphic E LOTOS
Zhao Yu
1999
Corpus ID: 63515733
E LOTOS is an enhancement to formal description technology LOTOS.This paper first proposes a graphical respresentation,called GE…
Expand
1998
1998
Specification, validation and verification of real-time systems in ET-LOTOS
Christian Hernalsteen
,
T. Massart
1998
Corpus ID: 60762484
1997
1997
POTS: An OO LOTOS Specification
John Paul Gibson
,
Y. Mokhtari
1997
Corpus ID: 61379515
La specification et validation du POTS (plain old telephone service) en utilisant LOTOS (language of temporal ordering…
Expand
1996
1996
French-Romanian Integrated Proposal for the User Language of E-LOTOS
H. Garavel
,
M. Sighireanu
1996
Corpus ID: 59768075
This document attempts to merge several existing proposals for E-Lotos, in order to provide a uniied deenition for the User…
Expand
1993
1993
Compiling the behaviour part of LOTOS
E. Dubuis
1993
Corpus ID: 63853798
LOTOS is a standardised formal description language to describe the behaviour of (information) systems. It has well-defined…
Expand
1990
1990
An Executor for Graphical LOTOS
T. Cheung
,
Yucheng Ye
Formal Techniques for (Networked and) Distributed…
1990
Corpus ID: 32880244
1989
1989
UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS
S. Gallouzi
,
Luigi Logr
,
Abdellatif Obaid
Formal Techniques for (Networked and) Distributed…
1989
Corpus ID: 34248794
On donne un bref aperçu de la situation de la recherche sur le langage LO-TOS, en ce qui concerne les travaux théoriques, le d…
Expand