Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
Dominique Larchey Wendling, Didier Galmiche
págs. 435-500
Predicate transformers for extended probability and non-determinism
Klaus Keimel, Gordon D. Plotkin
págs. 501-540
A quantitative computational model for complete partial metric spaces via formal balls
Salvador Romaguera Bonilla, Oscar Valero Sierra
págs. 541-564
On the expressive power of process interruption and compensation
Mario Bravetti, Gianluigi Zavattaro
págs. 565-600
A theory of contracts for strong service compliance
págs. 601-638
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: