Countable nondeterminism and random assignment
Journal of the ACM (JACM)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
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
Denotational semantics of concurrency
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
| Hi-index | 0.00 |