Quantales, observational logic and process semantics (1993)

by S AND VICKERS ABRAMSKY, S J
Venue:Mathematical Structures in Computer Science