Skip to main content

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, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 177-192. ISBN 978-1-4757-5260-1. E-ISBN 978-0-387-35271-8. (doi:10.1007/978-0-387-35271-8_11) (KAR id:21439)

Language: English
Download (286kB) Preview
[thumbnail of Disjunction_of_LOTOS_specifications.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


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: Book section
DOI/Identification number: 10.1007/978-0-387-35271-8_11
Uncontrolled keywords: LOTOS, process algebra, specification, disjunction, operational semantics
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Eerke Boiten
Date Deposited: 02 Aug 2009 21:28 UTC
Last Modified: 16 Nov 2021 09:59 UTC
Resource URI: (The current URI for this page, for reference purposes)
Bowman, H.:
Boiten, E.A.:
  • Depositors only (login required):


Downloads per month over past year