Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Algebraic data typeCalculus of communicating systemsCommunicating sequential processesCommunications protocol

Broader (3)

Concurrency (computer science)Concurrency controlFormal 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
The functional modeling of telecommunications systems requires an early emphasis on behavioral aspects. In the first stages of… 
Highly Cited
1999
Highly Cited
1999
Use case maps for the capture and validation of distributed systems requirements
Functional scenarios describing system views, uses, or services are a common way of capturing requirements of distributed systems… 
Highly Cited
1994
Highly Cited
1994
Specifying features and analysing their interactions in a LOTOS environment
Keywords: Telephone Features, Feature Interactions, Formal Specifications, LOTOS.1. Motivation and BackgroundThe plain old… 
1993
1993
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool
“ARA” is a verification tool which applies some recent improved speed verification techniques. ARA accepts as input systems… 
Highly Cited
1990
Highly Cited
1990
Decomposition of functionality: a correctness-preserving LOTOS transformation
1990
1990
A LOTOS compiler and process synchronization manager
1989
1989
Deriving a protocol converter: a top-down method
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some… 
1986
1986
On the formal specification and verification of CIM architectures using LOTOS
1962
1962
Notizen: Kinetik und Chemismus der Nitrosylierung von Cyano- und Carbonyl-Metall-Komplexen des Eisens und Kobalts
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… 
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)