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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2004
Review
2004
  • K. Turner
  • 2004
  • Corpus ID: 6298514
2001
2001
The functional modeling of telecommunications systems requires an early emphasis on behavioral aspects. In the first stages of… 
Highly Cited
1999
Highly Cited
1999
Functional scenarios describing system views, uses, or services are a common way of capturing requirements of distributed systems… 
Highly Cited
1994
Highly Cited
1994
Keywords: Telephone Features, Feature Interactions, Formal Specifications, LOTOS.1. Motivation and BackgroundThe plain old… 
1993
1993
“ARA” is a verification tool which applies some recent improved speed verification techniques. ARA accepts as input systems… 
1989
1989
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some… 
1962
1962
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…