A discipline of multiprogramming
暂无分享,去创建一个
[1] James C. Browne,et al. A language for specification and programming of reconfigurable parallel computation structures , 1982, International Conference on Parallel Processing.
[2] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[3] Keith A. Bartlett,et al. A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.
[4] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[5] Adi Shamir,et al. A method for obtaining digital signatures and public-key cryptosystems , 1978, CACM.
[6] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[7] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[8] Edsger W. Dijkstra,et al. Solution of a problem in concurrent programming control , 1965, CACM.
[9] Melvin E. Conway,et al. Design of a separable transition-diagram compiler , 1963, CACM.
[10] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[11] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[12] David Lorge Parnas,et al. Concurrent control with “readers” and “writers” , 1971, CACM.
[13] Whitfield Diffie,et al. New Directions in Cryptography , 1976, IEEE Trans. Inf. Theory.
[14] Kenneth E. Batcher,et al. Sorting networks and their applications , 1968, AFIPS Spring Joint Computing Conference.
[15] K. Mani Chandy,et al. The drinking philosophers problem , 1984, ACM Trans. Program. Lang. Syst..
[16] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[17] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .