A fast mutual exclusion algorithm
暂无分享,去创建一个
[1] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.
[2] Peter M. Schwarz,et al. Experience Using Multiprocessor Systems—A Status Report , 1980, CSUR.
[3] Edsger W. Dijkstra,et al. Solution of a problem in concurrent programming control , 1965, CACM.
[4] Donald E. Knuth,et al. Additional comments on a problem in concurrent programming control , 1966, CACM.
[5] Michael R. McGuire,et al. Further comments on Dijkstra's concurrent programming control problem , 1972, CACM.
[6] Edsger W. Dijkstra,et al. Solution of a problem in concurrent programming control , 1965, CACM.
[7] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.
[8] N. G. de Bruijn,et al. Additional comments on a problem in concurrent programming control , 1967, Commun. ACM.