论文信息 - An Implementation of P and V - 字舞流文

An Implementation of P and V

R. K. Shyamasundar | Eric C. R. Hehner

[1] Edsger W. Dijkstra,et al. Solution of a problem in concurrent programming control , 1965, CACM.

[2] Leslie Lamport,et al. A new solution of Dijkstra's concurrent programming problem , 1974, Commun. ACM.