Limitations of synchronization primitives with conditional branching and global variables
暂无分享,去创建一个
[1] Edsger W. Dijkstra,et al. The structure of the “THE”-multiprogramming system , 1968, CACM.
[2] A. Habermann. Synchronization of communicating processes , 1972, CACM.
[3] Jerome H. Saltzer,et al. Traffic control in a multiplexed computer system , 1966 .
[4] Jack B. Dennis,et al. Programming semantics for multiprogrammed computations , 1966, CACM.
[5] David Lorge Parnas. On a solution to the cigarette smoker's problem (without conditional statements) , 1975, CACM.
[6] Axel van Lamsweerde,et al. On an Extension of Dijkstra's Semaphore Primitives , 1972, Inf. Process. Lett..
[7] Richard J. Lipton. Reduction: a new method of proving properties of systems of processes , 1975, POPL '75.
[8] David Lorge Parnas. On a solution to the cigarette smokers' problem , 1972 .
[9] Richard J. Lipton,et al. On synchronization primitive systems , 1973 .