Research Output

Filter
Chapter
1991

An introduction to the relational calculus

Feijen, W. H. J. & Gasteren, van, A. J. M., 1991, C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (eds.). Schoonhoven: Academic Service, p. 57-81

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1990

A little exercise in deriving multiprograms

Feijen, W. H. J., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (eds.). Berlin: Springer, p. 119-126 (Texts and monographs in computer science).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

The problem of the majority network

Bijlsma, A., Bulterman, R. W., Feijen, W. H. J., Scholten, C. S. & Woude, van der, J. C. S. P., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (eds.). Berlin: Springer, p. 112-118 (Texts and monographs in computer science).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic