Countable nondeterminism and random assignment
Journal of the ACM (JACM)
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Partial, total and general correctness
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Unifying recursion in partial, total and general correctness
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Non-termination in unifying theories of programming
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Unifying correctness statements
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Extended designs algebraically
Science of Computer Programming
| Hi-index | 0.00 |