Towards a denotational semantics for ET-LOTOS.

Jeremy W. Bryans, Jim Davies, Steve A. Schneider

Browse the full CONCUR paper archive.