Quantales‚ Observational Logic and Process Semantics
S. Abramsky and S. J. Vickers
Book Title
Mathematical Structures in Computer Science
Pages
161−227
Volume
3
Year
1993
S. Abramsky and S. J. Vickers