Verifying properties of parallel programs: an axiomatic approach
暂无分享,去创建一个
[1] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.
[2] 永田 守男,et al. Verifying Properties of Parallel Programs : An Axiomatic Approach , 1976 .
[3] Michel Sintzoff,et al. Constructing correct and efficient concurrent programs , 1975, Reliable Software.
[4] Susan S. Owicki,et al. Axiomatic Proof Techniques for Parallel Programs , 1975, Outstanding Dissertations in the Computer Sciences.
[5] C. A. R. Hoare,et al. Monitors: an operating system structuring concept , 1974, CACM.
[6] Per Brinch Hansen,et al. Concurrent Programming Concepts , 1973, CSUR.
[7] Hugh C. Lauer. Correctness in operating systems , 1973 .
[8] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.
[9] Robert W. Floyd,et al. Assigning meaning to programs , 1967 .