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 DNF David Peleg (computer scientist) Ross Honsberger Hagit Attiya Coenraad Leonardo number Bill van Dijk IFIP Working Group 2.1 High Order Language Working Group Distinguished Fellow of the Bri…

itish 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 Harry H. Goode Memorial Award Setun Bosque (programming language) Maurice Herlihy Predicate transformer semantics Dijkstra 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 Self-stabilization Gymnasium Erasmianum Nati Linial Structured derivations Goto Playoff beard Unifying Theories of Programming Separation of concerns System programming language Calkin–Wilf tree Szymański's a