Quantales‚ Observational Logic and Process Semantics

Detalhes bibliográficos
Main Authors: Abramsky, S, Vickers, S
Formato: Conference item
Publicado em: 1993