A. J. M. van Gasteren

Publication Activity (10 Years)

Years Active: 1982-2002
Publications (10 Years): 0

Publications

R. W. Bulterman, F. W. van der Sommen, Gerard Zwaan, Tom Verhoeff, A. J. M. van Gasteren, W. H. J. Feijen
On computing a longest path in a tree. Inf. Process. Lett. 81 (2) (2002)
W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder
An Elementary Derivation of the Alternating Bit Protocol. MPC (1998)
A. J. M. van Gasteren, A. Bijlsma
An extension of the program derivation format. PROCOMET (1998)
F. W. van der Sommen, W. H. J. Feijen, A. J. M. van Gasteren
Peterson's Mutual Exclusion Algorithm Revisited. Sci. Comput. Program. 29 (3) (1997)
Roland Carl Backhouse, J. P. H. W. van den Eijnde, A. J. M. van Gasteren
Calculating Path Algorithms. Sci. Comput. Program. 22 (1-2) (1994)
Roland Carl Backhouse, A. J. M. van Gasteren
Calculating a Path Algorithm. MPC (1992)
A. J. M. van Gasteren, Gerard Tel
Comments on "On the Proof of a Distributed Algorithm": Always-Tru is not Invariant. Inf. Process. Lett. 35 (6) (1990)
W. H. J. Feijen, A. J. M. van Gasteren, David Gries
In-situ Inversion of a Cyclic Permutation. Inf. Process. Lett. 24 (1) (1987)
Edsger W. Dijkstra, A. J. M. van Gasteren
A Simple Fixpoint Argument Without the Restriction to Continuity. Acta Informatica 23 (1) (1986)
Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren
Derivation of a Termination Detection Algorithm for Distributed Computations. Inf. Process. Lett. 16 (5) (1983)
Edsger W. Dijkstra, A. J. M. van Gasteren
An Introduction to Three Algorithms for Sorting in Situ. Inf. Process. Lett. 15 (3) (1982)