Quasi-metric spaces and point-free geometry.Published in:Mathematical Structures in Computer Science, 2006, v. 16, n. 1, p. 115, doi. 10.1017/S0960129506005111By:DI CONCILIO, ANNA;GERLA, GIANGIACOMOPublication type:Article
Distributing probability over non-determinism.Published in:Mathematical Structures in Computer Science, 2006, v. 16, n. 1, p. 87, doi. 10.1017/S0960129505005074By:VARACCA, DANIELE;WINSKEL, GLYNNPublication type:Article