Proving the Correctness of Multiprocess Programs (1977)

by Leslie Lamport
Citations:325 - 19 self

Documents Related by Co-Citation

1111 Proof-Carrying Code – George C. Necula - 1997
1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
1351 A calculus of communicating systems – R Milner - 1980
478 Enforceable Security Policies – Fred B. Schneider
390 Defining liveness – Bowen Alpern, Fred B Schneider - 1985
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
613 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
1423 A Discipline of Programming – E W Dijkstra - 1976
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985