Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Service-oriented computing has emerged as a new software development paradigm that enables implementation of Web accessible… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We develop an algebraic theory, called hybrid process algebra (HyPA), for the description and analysis of hybrid systems. HyPA is… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
2001
2001
This section introduces the Lotos and E-Lotos languages, and how they may be used in requirements capture. 
  • figure 6.1
  • table 6.1
  • table 6.2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In this paper we study the automation of test derivation and execution in the area of conformance testing. The test scenarios are… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Functional scenarios describing system views, uses, or services are a common way of capturing requirements of distributed systems… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Distributed or parallel software with synchronous communication via rendezvous is found in client-server systems and in proposed… Expand
  • figure 2
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Abstract An informal, design-oriented introduction to the specification language for distributed systems LOTOS is presented… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
During the last ten years, tremendous changes have taken place in the communication environments. First, there has been a… Expand
  • figure 1
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… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1984
Highly Cited
1984
We give a partial order semantics to (pure) CCS via a translation into Petri nets and prove, that the interleaved behaviour of… Expand
Is this relevant?