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
    Country/TerritoryUnited States


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

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • Computer Science(all)


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

    Cite this