Rutger M. Dijkstra

According to our database¹, Rutger M. Dijkstra authored at least 5 papers between 1995 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

Computation Calculus - Bridging a Formalization Gap.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 1998

1997

A Predicate Transformer for the Progress Property 'To-Always'.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1997

1996

"Everywhere" in Predicate Algebra and Modal Logic.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1996

1995

An Experiment With the Use of Predicate Transformers in UNITY.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

DUALITY: A Simple Formalism for the Analysis of UNITY.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1995