Quantales, observational logic and process semantics
Samson Abramsky, Steven Vickers · Mathematical Structures in Computer Science · 1993
Various notions of observing and testing processes are placed in a uniform algebraic framework in which observations are taken as constituting a quantale. General completeness criteria are stated, and proved in our applications.