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
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… 
1994
1994
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
We propose an automatic analysis and test case derivation method for LOTOS expressions with data values. We introduce the class… 
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
Review
1990
Review
1990
Protocol Verification for OSI
  • B. Pehrson
  • Comput. Networks ISDN Syst.
  • 1990
  • Corpus ID: 40911157
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
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)