Proving Assertions about Parallel Programs
暂无分享,去创建一个
[1] Al Young. Providence, Rhode Island , 1975 .
[2] Karl N. Levitt. The application of program-proving techniques to the verification of synchronization processes , 1972, AFIPS '72 (Fall, part I).
[3] ZOHAR MANNA,et al. The Correctness of Programs , 1969, J. Comput. Syst. Sci..
[4] Richard M. Karp,et al. Parallel Program Schemata , 1969, J. Comput. Syst. Sci..
[5] Zohar Manna,et al. Formalization of properties of parallel programs , 1970 .
[6] Zohar Manna,et al. Formalization of Properties of Functional Programs , 1970, JACM.