User loginNavigation |
archivesAn Axiomatic Basis for Computer ProgrammingAn Axiomatic Basis for Computer Programming by Tony Hoare, 1969.
Considered by many to be among the best of the great works in programming languages. By Luke Gorrie at 2006-12-16 21:49 | Semantics | login or register to post comments | other blogs | 26237 reads
Elements of InteractionRobin Milner's 1991 Turing Award Lecture describing CCS (Calculus for Communicating Systems) and pi-calculus. |
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 4 days ago
51 weeks 4 days ago