W. H. J. Feijen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2002

In memoriam: Edsger W. Dijkstra 1930-2002Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards. CACM, 45(10):21-22, 2002. [doi]

On computing a longest path in a treeR. W. Bulterman, F. W. van der Sommen, Gerard Zwaan, Tom Verhoeff, A. J. M. van Gasteren, W. H. J. Feijen. ipl, 81(2):93-96, 2002. [doi]

2001

The joy of formula manipulationW. H. J. Feijen. ipl, 77(2-4):89-96, 2001. [doi]

1999

On a Method of MultiprogrammingW. H. J. Feijen, A. J. M. van Gasteren. Monographs in Computer Science, Springer, 1999. [doi]

1998

An Elementary Derivation of the Alternating Bit ProtocolW. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder. mpc 1998: 175-187 [doi]

1997

Peterson s Mutual Exclusion Algorithm RevisitedF. W. van der Sommen, W. H. J. Feijen, A. J. M. van Gasteren. SCP, 29(3):327-334, 1997.

1996

Formal Derivation of an Algorithm for Distributed Phase SynchronizationD. S. Buhaceanu, W. H. J. Feijen. ipl, 60(4):207-213, 1996. [doi]

1989

The Linear Search RevisitedEdsger W. Dijkstra, W. H. J. Feijen. stp, 10(1):5-9, 1989.

1988

A method of programmingEdsger W. Dijkstra, W. H. J. Feijen. Addison-Wesley, 1988.

1987

In-situ Inversion of a Cyclic PermutationW. H. J. Feijen, A. J. M. van Gasteren, David Gries. ipl, 24(1):11-14, 1987.

1983

Derivation of a Termination Detection Algorithm for Distributed ComputationsEdsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren. ipl, 16(5):217-219, 1983.

1981

Bulterman s Reshuffling ProblemW. H. J. Feijen. SCP, 1(1-2):145-147, 1981.

Sign in or sign up to see more results.

runs on WebDSL