Search the dblp DataBase

Publications of Author

1. Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren
   Derivation of a Termination Detection Algorithm for Distributed Computations. [Citation Graph (2, 0)][DBLP]
   Inf. Process. Lett., 1983, v:16, n:5, pp:217-219 [Journal]
   
2. W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder
   An Elementary Derivation of the Alternating Bit Protocol. [Citation Graph (0, 0)][DBLP]
   MPC, 1998, pp:175-187 [Conf]
   
3. Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
   In memoriam: Edsger W. Dijkstra 1930-2002. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 2002, v:45, n:10, pp:21-22 [Journal]
   
4. D. S. Buhaceanu, W. H. J. Feijen
   Formal Derivation of an Algorithm for Distributed Phase Synchronization. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1996, v:60, n:4, pp:207-213 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2002, v:81, n:2, pp:93-96 [Journal]
   
6. W. H. J. Feijen
   The joy of formula manipulation. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2001, v:77, n:2-4, pp:89-96 [Journal]
   
7. W. H. J. Feijen, A. J. M. van Gasteren, David Gries
   In-situ Inversion of a Cyclic Permutation. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1987, v:24, n:1, pp:11-14 [Journal]
   
8. W. H. J. Feijen
   Bulterman's Reshuffling Problem. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1981, v:1, n:1-2, pp:145-147 [Journal]
   
9. F. W. van der Sommen, W. H. J. Feijen, A. J. M. van Gasteren
   Peterson's Mutual Exclusion Algorithm Revisited. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:29, n:3, pp:327-334 [Journal]
   
10. Edsger W. Dijkstra, W. H. J. Feijen
    The Linear Search Revisited. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1989, v:10, n:1, pp:5-9 [Journal]