What Processes Know: Definitions and Proof Methods (Preliminary Version).
作者： Gadi Taubenfeld , Shmuel Katz
DOI:
关键词:
摘要:
参考文章(8)
Howard Barringer, A Survey of Verification Techniques for Parallel Programs ,(1985)
Susan Owicki, David Gries, An axiomatic proof technique for parallel programs I Acta Informatica. ,vol. 6, pp. 319- 340 ,(1976) , 10.1007/BF00268134
Krzysztof R. Apt, Nissim Francez, Willem P. de Roever, A Proof System for Communicating Sequential Processes ACM Transactions on Programming Languages and Systems. ,vol. 2, pp. 359- 385 ,(1980) , 10.1145/357103.357110
Joseph Y. Halpern, Ronald Fagin, A formal model of knowledge, action, and communication in distributed systems: preliminary report principles of distributed computing. pp. 224- 236 ,(1985) , 10.1145/323596.323617
K. M. Chandy, Jayadev Misra, How processes learn Distributed Computing. ,vol. 1, pp. 40- 52 ,(1986) , 10.1007/BF01843569
Krzysztof R. Apt, Formal Justification of a Proof System for Communicating Sequential Processes Journal of the ACM. ,vol. 30, pp. 197- 216 ,(1983) , 10.1145/322358.322372
S. D. Brookes, C. A. R. Hoare, A. W. Roscoe, A Theory of Communicating Sequential Processes Journal of the ACM. ,vol. 31, pp. 560- 599 ,(1984) , 10.1145/828.833
Susan Owicki, Leslie Lamport, Proving Liveness Properties of Concurrent Programs ACM Transactions on Programming Languages and Systems. ,vol. 4, pp. 455- 495 ,(1982) , 10.1145/357172.357178