Skip to main content

Towards a denotational semantics for ET−LOTOS

Jeremy Bryans‚ Jim Davies and Steve Schneider

Crossref
DBLP:conf/concur/1995
Pages
269−283
Year
1995