Paper Info
Title
Towards a denotational semantics for ET-LOTOS
Abstract
The formal specification language LOTOS is an international standard foruse in Open Systems Interconnection. A timed extension called ET-LOTOShas been proposed. This paper presents a fully-abstract denotational semanticsfor the process algebraic component of this extension. The benefits of adenotational semantics are discussed, as are the applications.1 IntroductionLOTOS is a language intended primarily for use in protocol specification. It isa synthesis of two process calculi---CCS [9] ...
Year
DOI
Venue
1995
10.1007/3-540-60218-6_20
CONCUR
Keywords
Field
DocType
denotational semantics,open systems interconnection,process calculi,internal standard,process algebra
Denotational semantics of the Actor model,Programming language,Normalisation by evaluation,Computer science,Action semantics,Denotational semantics,Open Systems Interconnection,Theoretical computer science,Formal specification,Language Of Temporal Ordering Specification,Selection rule
Conference
ISBN
Citations 
PageRank 
3-540-60218-6
3
0.52
References 
Authors
5
3
Name
Order
Citations
PageRank
Jeremy Bryans1928.86
Jim Davies267380.95
Steve Schneider332326.65