Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards a denotational semantics for ET-LOTOS

Lookup NU author(s): Dr Jeremy Bryans

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.


Publication metadata

Author(s): Bryans J, Davies J, Schneider S

Editor(s): Lee, I., Smolka, S.A.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 6th International Conference on Concurrency Theory (CONCUR)

Year of Conference: 1995

Pages: 269-283

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-60218-6_20

DOI: 10.1007/3-540-60218-6_20

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540602187


Share