Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
暂无分享,去创建一个
K. Mani Chandy | Jayadev Misra | K. M. Chandy | J. Misra | K. Mani | C. And | K. Mani | Chandy And
[1] Suhas S. Patil,et al. COORDINATION OF ASYNCHRONOUS EVENTS , 1970 .
[2] Edsger W. Dijkstra,et al. Notes on structured programming , 1970 .
[3] A. Habermann. Synchronization of communicating processes , 1972, CACM.
[4] Edsger W. Dijkstra,et al. Self-stabilizing systems in spite of distributed control , 1974, CACM.
[5] Jack B. Dennis,et al. First version of a data flow procedure language , 1974, Symposium on Programming.
[6] Leslie Lamport,et al. On-the-fly garbage collection: an exercise in cooperation , 1975, CACM.
[7] Eric G. Manning,et al. Distributed Simulation Using a Network of Microcomputers , 1978, Berkeley Workshop.
[8] K. Mani Chandy,et al. A nontrivial example of concurrent processing: Distributed simulation , 1978, COMPSAC.
[9] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[10] K. Mani Chandy,et al. Distributed Simulation of Networks , 1979, Comput. Networks.