Disjunction of LOTOS specifications

Steen, Maarten and Bowman, Howard and Derrick, John and Boiten, Eerke Albert (1997) Disjunction of LOTOS specifications. In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. IFIP Conference Proceedings; Vol. 107. Chapman & Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9 . (Full text available)

Download (286kB) Preview


LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. The definition of, so called, implementation relations has made it possible also to use LOTOS as a specification technique for the design of such systems. These LOTOS based specification techniques usually (ab)use non-determinism to achieve implementation freedom. Unfortunately, this is unsatisfactory when specifying non-deterministic processes. We, therefore, propose to extend LOTOS with a disjunction operator in order to achieve more implementation freedom while maintaining the possibility to describe non-deterministic processes. In contrast with similar proposals we maintain the operational semantics.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: LOTOS, process algebra, specification, disjunction, operational semantics
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: E.A. Boiten
Date Deposited: 02 Aug 2009 21:28 UTC
Last Modified: 20 Oct 2015 14:26 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21439 (The current URI for this page, for reference purposes)
Boiten, Eerke Albert: https://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):


Downloads per month over past year