论文信息 - On Formulating Simultaneity for Studying Parallelism and Synchronization - 字舞流文

On Formulating Simultaneity for Studying Parallelism and Synchronization

Raymond E. Miller | Chee-Keng Yap

[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.