Towards a denotational semantics for ET-LOTOS.

Conference presentation

Towards a denotational semantics for ET-LOTOS.

J Bryans, J Davies and S Schneider

CONCUR'95, Vol.LNCS 9, pp.269-283

6th International Conference in Concurrency Theory

1995

DOI: https://doi.org/10.1007/3-540-60218-6_20

Abstract

Files and links (1)

url

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

Metrics

Details

Title: Towards a denotational semantics for ET-LOTOS.
Creators: J Bryans
J Davies
S Schneider
Contributors: I Lee
SA Smolka
Springer (Publisher)
Publication Details: CONCUR'95, Vol.LNCS 9, pp.269-283
Conference: 6th International Conference in Concurrency Theory
Publication Date: 1995
Identifiers: 99511111802346
Academic Unit: University of Surrey
Resource Type: Conference presentation