Guards, Preconditions, and Refinement in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Relational Semantics Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
On the structure of demonic refinement algebras with enabledness and termination
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
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
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
Extended designs algebraically
Science of Computer Programming
| Hi-index | 0.00 |