Journal of Computer and System Sciences
Order and strongly sober compactifications
Topology and category theory in computer science
Probabilistic non-determinism
Selected papers of the workshop on Topology and completion in semantics
Handbook of logic in computer science (vol. 3)
The Versatile Continuous Order
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Nondeterminism and Probabilistic Choice: Obeying the Laws
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
An Axiomatics for Categories of Transition Systems as Coalgebras
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
A universal characterization of the double powerlocale
Theoretical Computer Science - Logic, semantics and theory of programming
A domain-theoretic Banach–Alaoglu theorem
Mathematical Structures in Computer Science
Predicate transformers for extended probability and non-determinism
Mathematical Structures in Computer Science
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)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation hemi-metrics between infinite-state stochastic games
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Prevision domains and convex powercones
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Choquet-kendall-matheron theorems for non-hausdorff spaces
Mathematical Structures in Computer Science
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Continuous capacities on continuous state spaces
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Mathematical Structures in Computer Science
Observationally-induced Algebras in Domain Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We introduce convex–concave duality for various models of non-deterministic choice, probabilistic choice and the two of them combined. This complements the well-known duality of stably compact spaces in a pleasing way: convex–concave duality swaps angelic and demonic choice, and leaves probabilistic choice invariant.