Quantales, observational logic and process semantics (1993)

by Samson Abramsky, Steve J Vickers
Venue:Math. Structures Comput. Sci