Countable nondeterminism and random assignment
Journal of the ACM (JACM)
Proving concurrent constraint programs correct
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
On the Semantics of Refinement Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Hofmann-Mislove theorem for Bitopological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Domain semantics of possibility computations
Information Sciences: an International Journal
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Category Theoretic Models of Data Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Predicate transformers for extended probability and non-determinism
Mathematical Structures in Computer Science
Duality in Logic and Computation
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.01 |