Disjunction of LOTOS specifications

Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A. (1997) Disjunction of LOTOS specifications. In: Mizuno, T. and Shiratori, N. and Higashino, T. and Togashi, A., eds. IFIP Conference Proceedings; Vol. 107. Chapman & Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9 . (Full text available)

Download (172kB)


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 > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 02 Aug 2009 21:28
Last Modified: 06 Sep 2011 03:53
Resource URI: http://kar.kent.ac.uk/id/eprint/21439 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year