Quantales‚ Observational Logic and Process Semantics

Dades bibliogràfiques
Autors principals: Abramsky, S, Vickers, S
Format: Conference item
Publicat: 1993