Towards a denotational semantics for ET-LOTOS

Jeremy Bryans, Jim Davies, Steve Schneider

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

3 Citations (Scopus)

Abstract

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
Pages269-283
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)
Volume962
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International Conference on Concurrency Theory, CONCUR 1995
CountryUnited States
CityPhiladelphia
Period21/08/9524/08/95

    Fingerprint

Keywords

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Bryans, J., Davies, J., & Schneider, S. (1995). Towards a denotational semantics for ET-LOTOS. In S. A. Smolka, & I. Lee (Eds.), CONCUR 1995: Concurrency Theory - 6th International Conference, Proceedings (pp. 269-283). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 962). Springer-Verlag London Ltd.