Resource traces: a domain for processes sharing exclusive resources
Theoretical Computer Science
Mathematical Structures in Computer Science
A domain-theoretic Banach–Alaoglu theorem
Mathematical Structures in Computer Science
On the computational content of the Lawson topology
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Stably Compact Spaces and the Probabilistic Powerspace construction
Electronic Notes in Theoretical Computer Science (ENTCS)
De groot duality and models of choice: Angels, demons and nature†
Mathematical Structures in Computer Science
Hi-index | 0.00 |