Towards a denotational semantics for ET−LOTOS

Bibliographic Details
Main Authors: Bryans, J, Davies, J, Schneider, S
Format: Conference item
Published: 1995