Actor model and process calculi
article-link
What links here
Tony Hoare
List of Queen's University Belfast people
article-link
Actor model
article-link
Pipeline (Unix)
article-link
SIGPLAN
article-link
Null pointer
article-link
Computer History Museum
article-link
Elliott ALGOL
article-link
Christopher Strachey
article-link
Per Brinch Hansen
article-link
John Barnes (computer scientist)
article-link
ALGOL 60
article-link
ALGOL 68
article-link
Peter Landin
article-link
Linear logic
article-link
Selection algorithm
article-link
Darwin College, Cambridge
article-link
Randomized algorithm
article-link
Calculus of communicating systems
article-link
Semantics (programming languages)
article-link
CICS
article-link
Queen's University Belfast
article-link
Dining philosophers problem
article-link
Communicating sequential processes
article-link
Programming Research Group
article-link
Program optimization
article-link
ALGOL W
article-link
Dragon School
article-link
Hoare logic
article-link
Kellogg College, Oxford
article-link
Wolfson College, Oxford
article-link
Merton College, Oxford
article-link
Andrey Kolmogorov
article-link
Denotational semantics
article-link
1960s
article-link
Structured programming
article-link
Software crisis
article-link
Stanford University
article-link
Pascal (programming language)
article-link
Occam (programming language)
article-link
List of programmers
article-link
Edsger W. Dijkstra
article-link
Compiler
article-link
Computer science
article-link
ALGOL
article-link
Ada (programming language)
article-link
C.A.R. Hoare
redirect
C. Antony R. Hoare
redirect
Charles Antony Richard Hoare
redirect
C A R Hoare
redirect
CAR Hoare
redirect