Browse by author
Lookup NU author(s): Dr Jeremy Bryans
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
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