Edsger W. Dijkstra Symposium on Principles of Distributed Computing Carel S. Scholten Software crisis Considered harmful Nico Habermann Jan L. A. van de Snepscheut Concern (computer science) Dekker's algorithm International Symposium on Distributed Computing Coenraad Bron ACM SIGACT Nuenen, Gerwen en Nederwetten Baruch Awerbuch Jaap A. Zonneveld Dijkstra–Scholten algorithm On the Cruelty of Really Teaching Computer Science Guarded Command Language IFIP Working Group 2.3 THE multiprogramming system EWD David Peleg (computer scientist) DNF Ross Honsberger Hagit Attiya Coenraad Leonardo number Bill van Dijk IFIP Working Group 2.1 High O…

Order Language Working Group Distinguished Fellow of the British Computer Society Banker's algorithm Explicit parallelism Danny Dolev Nuenen Semaphore (programming) Barry J. Mailloux Fred B. Schneider Sleeping barber problem Electrologica X8 Non-structured programming Setun Harry H. Goode Memorial Award Bosque (programming language) Maurice Herlihy Dijkstra Predicate transformer semantics SIGCSE Award for Outstanding Contribution to Computer Science Education Robert C. Prim Michael L. Scott Maarten

van Emden Program derivation Synthetic intelligence Dutch national flag problem Computer Pioneer Award Carroll Morgan (computer scientist) Without loss of generality Dining philosophers problem Centrum Wiskunde & Informatica Dijkstra's algorithm Strongly connected component Information Processing Letters Empty product A picture is worth a thousand words Smoothsort Adriaan van Wijngaarden Path-based strong component algorithm Larry Stockmeyer Electrologica X1 Lambek–Moser theorem Barber paradox Semantics (computer science) Ole-Johan Dahl Short-circuit evaluation Cigarette smokers problem Nati Linial Self-stabilization Gymnasium Erasmianum Structured derivations Goto Playoff beard Unifyin