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

Denotational Semantics
Specification languages
Semantics
Formal Languages
Formal Specification
Specification Languages
Open Systems
Interconnection
Open systems
Standards

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.

Towards a denotational semantics for ET-LOTOS. / Bryans, Jeremy; Davies, Jim; Schneider, Steve.

CONCUR 1995: Concurrency Theory - 6th International Conference, Proceedings. ed. / Scott A. Smolka; Insup Lee. Springer-Verlag London Ltd, 1995. p. 269-283 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 962).

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

Bryans, J, Davies, J & Schneider, S 1995, Towards a denotational semantics for ET-LOTOS. in SA Smolka & I Lee (eds), CONCUR 1995: Concurrency Theory - 6th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 962, Springer-Verlag London Ltd, pp. 269-283, 6th International Conference on Concurrency Theory, CONCUR 1995, Philadelphia, United States, 21/08/95.
Bryans J, Davies J, Schneider S. Towards a denotational semantics for ET-LOTOS. In Smolka SA, Lee I, editors, CONCUR 1995: Concurrency Theory - 6th International Conference, Proceedings. Springer-Verlag London Ltd. 1995. p. 269-283. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Bryans, Jeremy ; Davies, Jim ; Schneider, Steve. / Towards a denotational semantics for ET-LOTOS. CONCUR 1995: Concurrency Theory - 6th International Conference, Proceedings. editor / Scott A. Smolka ; Insup Lee. Springer-Verlag London Ltd, 1995. pp. 269-283 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{acb1c800d64b496389861b496d49c96b,
title = "Towards a denotational semantics for ET-LOTOS",
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.",
keywords = "External Action, Operational Semantic, Transition Rule, Semantic Function, Denotational Semantic",
author = "Jeremy Bryans and Jim Davies and Steve Schneider",
year = "1995",
month = "1",
day = "1",
language = "English",
isbn = "3540602186",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag London Ltd",
pages = "269--283",
editor = "Smolka, {Scott A.} and Insup Lee",
booktitle = "CONCUR 1995",

}

TY - GEN

T1 - Towards a denotational semantics for ET-LOTOS

AU - Bryans, Jeremy

AU - Davies, Jim

AU - Schneider, Steve

PY - 1995/1/1

Y1 - 1995/1/1

N2 - 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.

AB - 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.

KW - External Action

KW - Operational Semantic

KW - Transition Rule

KW - Semantic Function

KW - Denotational Semantic

UR - http://www.scopus.com/inward/record.url?scp=84944247319&partnerID=8YFLogxK

M3 - Conference proceeding

SN - 3540602186

SN - 9783540602187

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 269

EP - 283

BT - CONCUR 1995

A2 - Smolka, Scott A.

A2 - Lee, Insup

PB - Springer-Verlag London Ltd

ER -