Towards a denotational semantics for ET-LOTOS

Jeremy Bryans, Jim Davies, Steve Schneider

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

2 Citations (Scopus)


The formal specification language LOTOS is an international standard for use in Open Systems Interconnection. A timed extension called ET-LOTOS has been proposed. This paper presents a fully-abstract denotational semantics for the process algebraic component of this extension. The benefits of a denotational semantics are discussed, as are the applications.

Original languageEnglish
Title of host publicationCONCUR 1995
Subtitle of host publicationConcurrency Theory - 6th International Conference, Proceedings
EditorsScott A. Smolka, Insup Lee
PublisherSpringer-Verlag London Ltd
Number of pages15
ISBN (Print)3540602186, 9783540602187
Publication statusPublished - 1 Jan 1995
Event6th International Conference on Concurrency Theory, CONCUR 1995 - Philadelphia, United States
Duration: 21 Aug 199524 Aug 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference6th International Conference on Concurrency Theory, CONCUR 1995
CountryUnited States


  • External Action
  • Operational Semantic
  • Transition Rule
  • Semantic Function
  • Denotational Semantic

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Towards a denotational semantics for ET-LOTOS'. Together they form a unique fingerprint.

Cite this