Rutger M. Dijkstra

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

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