Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,979,786 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.
2001
2001
Process calculi: E-LOTOS
Tomás Robles
,
G. Huecas
,
J. Quemada
,
A. Verdejo
,
L. Llana-Díaz
FME
2001
Corpus ID: 59854010
In this chapter we discuss a process algebraic approach to specification and introduce the LOTOS language and its extension, E…
Expand
1997
1997
Feature Interactions: A Mixed Semantic Model Approach
John Paul Gibson
,
B. Mermet
,
D. Méry
Irish Workshop in Formal Methods
1997
Corpus ID: 15755644
The feature interaction problem is prominent in telephone service development. Many of the problems which arise when features…
Expand
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
Semantique de maximalite : application au raffinement d'actions dans lotos
Djamel Saidouni
1996
Corpus ID: 169286197
Cette these se situe dans le cadre de methodes de conception de systemes repartis s'appuyant sur des techniques de raffinement d…
Expand
1996
1996
E-LOTOS Core Language
A. Jeffrey
,
G. Leduc
1996
Corpus ID: 60910091
This paper presents an integrated core data and behaviour language for the new LOTOS standard. It is not intended to be directly…
Expand
1996
1996
On the Introduction of Exceptions in E-LOTOS
H. Garavel
,
M. Sighireanu
Formal Techniques for (Networked and) Distributed…
1996
Corpus ID: 8155606
The advantages of exception handling are well-known and several sequential and parallel programming languages include exception…
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
1995
1995
Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS
A. Willig
,
I. Schieferdecker
Formal Methods for Industrial Applications
1995
Corpus ID: 26230567
The paper presents a specification of the steam boiler system in Time Extended LOTOS as an example to describe real-time, hybrid…
Expand
1994
1994
G-LOTOS: A Graphical Language for Concurrent Systems
T. Bolognesi
,
E. Najm
,
P. Tilanus
Comput. Networks ISDN Syst.
1994
Corpus ID: 42541327
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE