Proving the Correctness of Multiprocess Programs

IEEE Transactions on Software Engineering

Volumn SE-3, Issue 2, 1977, Pages 125-143

  Lamport, Leslie ^a  

^a Massachusetts Computer Associates Inc ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0017472779     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1977.229904     Document Type: Article

References (17)

1. E. A. Ashcroft, “Proving assertions about parallel programs,” J. Comput. Syst. Sci., vol. 10, pp. 110–135, Jan. 1975.
2. E. A. Ashcroft and Z. Manna, “Formalization of properties of parallel programs,” Machine Intelligence, vol. 6, Edinburgh Univ. Press, 1970.
3. G. Belpaire and J. P. Wilmotte, “Correctness of realization of levels of abstraction in operating systems,” in Operating Systems, E. Gelenbe and C. Kaiser, Eds., Lecture Notes in Computer Science 16. New York: Springer Verlag, 1974.
4. P. Brinch Hansen, “A comparison of two synchronizing concepts,” Acta Informatica, vol. 1, pp. 190–199, 1972.
5. P. Brinch Hansen, “Concurrent programming concepts,” Computing Surveys, vol. 5, pp. 223–245, Dec. 1973.
6. M. E. Conway, “A multiprocessor system design,” in 1963 Fall Joint Comput. Conf., AFIPS Conf. Proc., vol. 23. Washington, DC: Spartan Press, 1963, pp. 139–146.
7. P. J. Courtois, F. Heymans, and D. L. Parnas, “Concurrent control with ‘readers’ and ‘writers’,” Commun. Ass. Comput. Mach., vol. 14, pp. 667–668, Oct. 1971.
8. E. W. Dijkstra et al., “On-the fly garbage collection: An exercise in cooperation,” Burroughs Corporation, Rep. EWD595, submitted for publication.
9. R. W. Floyd, “Assigning meanings to programs,” in Proc. Symp. Appl. Math., vol. 19, Amer. Math. Soc., pp. 19–32, 1967.
10. A. N. Habermann, “Synchronization of communicating processes,” Commun. Ass. Comput. Mach., vol. 15, pp. 177–184, Mar. 1970.
11. C. A. R. Hoare, “Parallel programming-An axiomatic approach,” Stanford A. I. Lab., Memo AIM-219, Oct. 1973.
12. R. M. Keller, “Formal verification of parallel programs,” Commun. Ass. Comput. Mach., vol. 19, pp. 371–384, July 1976.
13. L. Lamport, “A new solution of Dijkstra's concurrent programming problem,” Commun. Ass. Comput. Mach., vol. 17, pp. 453–455, Aug. 1974.
14. L. Lamport, “On concurrent reading and writing,” Massachusetts Computer Associates, Inc., CA-7409-0511, Sept. 1974, to be published in Commun. Ass. Comput. Mach.
15. K. N. Levitt, “The application of program-proving techniques to the verification of synchronization processes,” in 1972 Fall Joint Comput. Conf., AFIPS Conf. Proc., vol. 41. Montvale, NJ: AFIPS Press, 1972, PP. 33–47.
16. S. Owicki, “Axiomatic proof techniques for parallel programs,” Ph.D. dissertation, Cornell University, Ithaca, NY, Aug. 1975.
17. S. Owicki and D. Gries, “An axiomatic proof technique for parallel programs,” to be published in Acta Informatica.