On Formulating Simultaneity for Studying Parallelism and Synchronization
暂无分享,去创建一个
[1] W. J. Chandler,et al. Interference between communicating parallel processes , 1972, CACM.
[2] Edsger W. Dijkstra,et al. Co-operating sequential processes , 1968 .
[3] Raymond E. Miller,et al. On the formal specification and analysis for loosely connected processes , 1978, Mathematical Studies of Information Processing.
[4] Richard J. Lipton,et al. On synchronization primitive systems , 1973 .
[5] Michael J. Fischer,et al. Economical solutions for the critical section problem in a distributed system (Extended Abstract) , 1977, STOC '77.
[6] Leslie Lamport,et al. Concurrent reading and writing , 1977, Commun. ACM.
[7] Raymond E. Miller,et al. On formulating simultaneity for studying parallelism and synchronization , 1978, STOC '78.
[8] Richard M. Karp,et al. Parallel Program Schemata , 1969, J. Comput. Syst. Sci..
[9] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[10] Arthur J. Bernstein,et al. Analysis of Programs for Parallel Processing , 1966, IEEE Trans. Electron. Comput..
[11] Ronald L. Rivest,et al. The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report , 1976, IEEE Annual Symposium on Foundations of Computer Science.