Skip to search formSkip to main contentSkip to account menu
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
Review
2011
Review
2011
Cadp (Construction and Analysis of Distributed Processes) is a comprehensive software toolbox that implements the results of… Expand
  • figure 1
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
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
Review
2001
Review
2001
CADP is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It… Expand
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
Review
1998
Review
1998
Abstract This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
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
Review
1993
Review
1993
From the Publisher: Deliberately non-mathematical, this user-friendly tutorial contains extensive introductory information on… Expand
  • figure 1.1
  • figure 1.2
  • figure 2.1
  • figure 2.2
  • figure 2.3
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