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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
The paper by Schaap et al. provides a first comparison of the inorganic compounds predicted by a European regional chemical… (More)
  • table 1
  • table 2
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
2006
2006
It is argued that specifications should be rigorously validated against requirements. This is useful to build confidence in a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
2001
2001
approach that simply requires unique numbers, whether generated by the user or the system (or both, in cooperation). 
  • figure 6.1
  • table 6.1
  • table 6.2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
There is now a lot of interest in program testing based on formal specifications. However, most the works in this area focus on… (More)
Is this relevant?
1998
1998
Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos… (More)
Is this relevant?
1993
1993
This paper reports on a technique for specifying concurrent systems by using a formal specification language with reflective… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Substantial experience with the use of formal specification languages in the design of distributed systems has shown that finding… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The ISO specification language Lotos is a Formal Description Technique for concurrent systems. This paper presents the main… (More)
Is this relevant?
1984
1984
The achievement of widely accepted standards for Open Systems Interconnection (OSI) is closely tied to the ability of producing… (More)
  • figure 2
Is this relevant?