A New Approach to Proving the Correctness of Multiprocess Programs
暂无分享,去创建一个
[1] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[2] G. S. Graham. A New Solution of Dijkstra ' s Concurrent Programming Problem , 2022 .
[3] Irene Greif,et al. A language for formal problem specification , 1977, CACM.
[4] Leslie Lamport,et al. Concurrent reading and writing , 1977, Commun. ACM.
[5] Leslie Lamport,et al. A new solution of Dijkstra's concurrent programming problem , 1974, Commun. ACM.
[6] Robert M. Keller,et al. Formal verification of parallel programs , 1976, CACM.
[7] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.