Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,253,429 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.
2000
2000
Partially Defined Lotos Specifications and their Refinement Relations
T. Karvi
2000
Corpus ID: 59986411
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
1999
1999
Rapid prototyping of specification language implementations
M. Leucker
,
T. Noll
Proceedings Tenth IEEE International Workshop on…
1999
Corpus ID: 16484055
Specification languages such as LOTOS and SDL play an important role in the design and implementation of distributed systems…
Expand
1998
1998
Harnessing the Power of Interaction
R. Kurki-Suonio
,
T. Mikkonen
European-Japanese Conference on Information…
1998
Corpus ID: 12103561
Inspired by Peter Wegner’s analysis of the paradigm shift fr om algorithms to interaction and of his conclusion that “proving…
Expand
1997
1997
Detecting Feature Interactions on Relational Specifications
M. Frappier
,
A. Mili
,
J. Desharnais
FIW
1997
Corpus ID: 505817
We describe a relational method for specifying features and detecting feature interactions. The method allows for an independent…
Expand
1996
1996
Specifying and Verifying the Alternating Bit Protocol with Probabilistic-Timed LOTOS ∗
Carlos Gregorio-Rodr Guez
,
Manuel N U~ Nez
1996
Corpus ID: 17832839
In this paper we use a probabilistic-timed version of Lotos (PTLotos) for specifying and verifying the Alternating Bit Protocol…
Expand
1992
1992
Test System for a Restricted Class of LOTOS Expressions with Data Parameters
T. Higashino
,
G. Bochmann
,
Xiangdong Li
,
K. Yasumoto
,
K. Taniguchi
Protocol Test Systems
1992
Corpus ID: 39456550
1989
1989
Test Result Analysis with Respect to Formal Specifications
G. Bochmann
,
O. Bellal
1989
Corpus ID: 7667634
There are two aspects to testing: (1) the selection of appropriate test inputs and (2) the analysis of the observed interactions…
Expand
1989
1989
On the Use of Lotos to Support the Design of A Connection Oriented Internetting Protocol
L. F. Pires
1989
Corpus ID: 62933564
The design of systems with the help of Formal Description Techniques has moved from the theory books to the reality. In this…
Expand
1988
1988
Adding performance aspects to specification languages 6
G. Bochmann
,
J. Vaucher
1988
Corpus ID: 16784579
In the area of communication protocol design, so-called Formal Description Techniques (FDTs) are used to describe the behavior of…
Expand