A. J. M. van Gasteren

According to our database, A. J. M. van Gasteren authored at least 13 papers between 1982 and 2002.

Collaborative distances:

• Dijkstra number of one.
• Erdős number of three.

2002

On computing a longest path in a tree.

R. W. Bulterman, F. W. van der Sommen, Gerard Zwaan, Tom Verhoeff, A. J. M. van Gasteren, W. H. J. Feijen

Inf. Process. Lett., 2002

1999

On a Method of Multiprogramming

W. H. J. Feijen, A. J. M. van Gasteren

Monographs in Computer Science, Springer, ISBN: 978-1-4757-3126-2, 1999

1998

An extension of the program derivation format.

A. J. M. van Gasteren, A. Bijlsma

Proceedings of the Programming Concepts and Methods, 1998

An Elementary Derivation of the Alternating Bit Protocol.

W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder

Proceedings of the Mathematics of Program Construction, 1998

1997

Peterson's Mutual Exclusion Algorithm Revisited.

F. W. van der Sommen, W. H. J. Feijen, A. J. M. van Gasteren

Sci. Comput. Program., 1997

1994

Calculating Path Algorithms.

Roland Carl Backhouse, J. P. H. W. van den Eijnde, A. J. M. van Gasteren

Sci. Comput. Program., 1994

1992

Calculating a Path Algorithm.

Roland Carl Backhouse, A. J. M. van Gasteren

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1990

Comments on "On the Proof of a Distributed Algorithm": Always-Tru is not Invariant.

A. J. M. van Gasteren, Gerard Tel

Inf. Process. Lett., 1990

On the Shape of Mathematical Arguments

A. J. M. van Gasteren

Lecture Notes in Computer Science 445, Springer, ISBN: 3-540-52849-0, 1990

1987

In-situ Inversion of a Cyclic Permutation.

W. H. J. Feijen, A. J. M. van Gasteren, David Gries

Inf. Process. Lett., 1987

1986

A Simple Fixpoint Argument Without the Restriction to Continuity.

Edsger W. Dijkstra, A. J. M. van Gasteren

Acta Informatica, 1986

1983

Derivation of a Termination Detection Algorithm for Distributed Computations.

Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren

Inf. Process. Lett., 1983

1982

An Introduction to Three Algorithms for Sorting in Situ.

Edsger W. Dijkstra, A. J. M. van Gasteren

Inf. Process. Lett., 1982