Towards a denotational semantics for ET-LOTOS

Jeremy Bryans; Jim Davies; Steve Schneider

Towards a denotational semantics for ET-LOTOS

Jeremy Bryans, Jim Davies, Steve Schneider

Royal Holloway, University of London

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

2 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 language	English
Title of host publication	CONCUR 1995
Subtitle of host publication	Concurrency Theory - 6th International Conference, Proceedings
Editors	Scott A. Smolka, Insup Lee
Publisher	Springer-Verlag London Ltd
Pages	269-283
Number of pages	15
ISBN (Print)	3540602186, 9783540602187
Publication status	Published - 1 Jan 1995
Event	6th International Conference on Concurrency Theory, CONCUR 1995 - Philadelphia, United States Duration: 21 Aug 1995 → 24 Aug 1995

Publication series

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

Conference

Conference	6th International Conference on Concurrency Theory, CONCUR 1995
Country/Territory	United States
City	Philadelphia
Period	21/08/95 → 24/08/95

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 proceeding › Conference proceeding › peer-review

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, 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 = jan,

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",

address = "United Kingdom",

note = "6th International Conference on Concurrency Theory, CONCUR 1995 ; Conference date: 21-08-1995 Through 24-08-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

AN - SCOPUS:84944247319

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

T2 - 6th International Conference on Concurrency Theory, CONCUR 1995

Y2 - 21 August 1995 through 24 August 1995

ER -

Towards a denotational semantics for ET-LOTOS

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this