 | 2000 |
|---|
| 6 |       | Rutger M. Dijkstra:
Computation calculus bridging a formalization gap.
Sci. Comput. Program. 37(1-3): 3-36 (2000) |
| 1998 |
|---|
| 5 |  | Rutger M. Dijkstra:
Computation Calculus - Bridging a Formalization Gap.
MPC 1998: 151-174 |
| 1997 |
|---|
| 4 | | Rutger M. Dijkstra,
Beverly A. Sanders:
A Predicate Transformer for the Progress Property `To-Always'.
Formal Asp. Comput. 9(3): 270-282 (1997) |
| 1996 |
|---|
| 3 | | Rutger M. Dijkstra:
``Everywhere'' in Predicate Algebra and Modal Logic.
Inf. Process. Lett. 58(5): 237-243 (1996) |
| 1995 |
|---|
| 2 | | Rutger M. Dijkstra:
DUALITY: A Simple Formalism for the Analysis of UNITY.
Formal Asp. Comput. 7(4): 353-388 (1995) |
| 1 | | Rutger M. Dijkstra:
An Experiment With the Use of Predicate Transformers in UNITY.
Inf. Process. Lett. 53(6): 329-332 (1995) |
