Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,365,038 papers from all fields of science
Search
Sign In
Create Free Account
Language Of Temporal Ordering Specification
Known as:
ISO 8807
, Language of temporal ordering
, Lotos
Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Algebraic data type
Calculus of communicating systems
Communicating sequential processes
Communications protocol
Expand
Broader (3)
Concurrency (computer science)
Concurrency control
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2004
Review
2004
Analysing interactive voice services
K. Turner
Comput. Networks
2004
Corpus ID: 6298514
2001
2001
Specification and validation of telecommunications systems with use case maps and lotos
L. Logrippo
,
Daniel Amyot
2001
Corpus ID: 58227851
The functional modeling of telecommunications systems requires an early emphasis on behavioral aspects. In the first stages of…
Expand
Highly Cited
1999
Highly Cited
1999
Use case maps for the capture and validation of distributed systems requirements
Daniel Amyot
,
L. Logrippo
,
R. Buhr
,
T. Gray
Proceedings IEEE International Symposium on…
1999
Corpus ID: 1395404
Functional scenarios describing system views, uses, or services are a common way of capturing requirements of distributed systems…
Expand
Highly Cited
1994
Highly Cited
1994
Specifying features and analysing their interactions in a LOTOS environment
M. Faci
,
L. Logrippo
FIW
1994
Corpus ID: 5940932
Keywords: Telephone Features, Feature Interactions, Formal Specifications, LOTOS.1. Motivation and BackgroundThe plain old…
Expand
1993
1993
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool
A. Valmari
,
Jukka Kemppainen
,
Matthew Clegg
,
Mikko Levanto
FME
1993
Corpus ID: 19334130
“ARA” is a verification tool which applies some recent improved speed verification techniques. ARA accepts as input systems…
Expand
Highly Cited
1990
Highly Cited
1990
Decomposition of functionality: a correctness-preserving LOTOS transformation
R. Langerak
Protocol Specification, Testing and Verification
1990
Corpus ID: 43404625
1990
1990
A LOTOS compiler and process synchronization manager
S. Nomura
,
T. Hasegawa
,
T. Takizuka
Protocol Specification, Testing and Verification
1990
Corpus ID: 36562901
1989
1989
Deriving a protocol converter: a top-down method
K. Calvert
,
S. Lam
Conference on Applications, Technologies…
1989
Corpus ID: 17894994
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some…
Expand
1986
1986
On the formal specification and verification of CIM architectures using LOTOS
Frank P. M. Biemans
,
Pieter Blonk
1986
Corpus ID: 60467619
1962
1962
Notizen: Kinetik und Chemismus der Nitrosylierung von Cyano- und Carbonyl-Metall-Komplexen des Eisens und Kobalts
F. Seel
,
H. Koss
1962
Corpus ID: 96141547
1 Jetzige Adresse: Institut für Anorganische Chemie der Universität des Saarkndes, Saarbrücken. 2 V. S c h w a r t z k o p f…
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