Rutger M. Dijkstra

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

Computation calculus bridging a formalization gap.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2000

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