
Search the dblp DataBase
Rutger M. Dijkstra:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Rutger M. Dijkstra
Computation Calculus  Bridging a Formalization Gap. [Citation Graph (0, 0)][DBLP] MPC, 1998, pp:151174 [Conf]
 Rutger M. Dijkstra
DUALITY: A Simple Formalism for the Analysis of UNITY. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1995, v:7, n:4, pp:353388 [Journal]
 Rutger M. Dijkstra, Beverly A. Sanders
A Predicate Transformer for the Progress Property `ToAlways'. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:3, pp:270282 [Journal]
 Rutger M. Dijkstra
An Experiment With the Use of Predicate Transformers in UNITY. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1995, v:53, n:6, pp:329332 [Journal]
 Rutger M. Dijkstra
``Everywhere'' in Predicate Algebra and Modal Logic. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1996, v:58, n:5, pp:237243 [Journal]
 Rutger M. Dijkstra
Computation calculus bridging a formalization gap. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2000, v:37, n:13, pp:336 [Journal]
Search in 0.002secs, Finished in 0.002secs
