Quantales‚ Observational Logic and Process Semantics

Bibliographic Details
Main Authors: Abramsky, S, Vickers, S
Format: Conference item
Published: 1993