Scheduling in the operation-oriented paradigm
暂无分享,去创建一个
[1] James W. Thatcher,et al. Language Constructs for Specifying Concurrency in CDL* , 1989, IEEE Trans. Software Eng..
[2] Roy H. Campbell,et al. The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.
[3] Gregory R. Andrews,et al. Synchronizing Resources , 1981, TOPL.
[4] Pierre Wolper,et al. Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, Logic of Programs.
[5] Toby Bloom,et al. Evaluating synchronization mechanisms , 1979, SOSP '79.
[6] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[7] David Lorge Parnas,et al. Concurrent control with “readers” and “writers” , 1971, CACM.
[8] Gregory R. Andrews,et al. Concepts and Notations for Concurrent Programming , 1983, CSUR.
[9] A.S.M. Sajeev. Language constructs for persistent object based programming , 1988, Seventh Annual International Phoenix Conference on Computers an Communications. 1988 Conference Proceedings.
[10] Peter van der Linden. ADA for experts: A Nico Habermann and Dewayne E. Perry 'ADA for experienced programmers' Addison-Wesley, Reading, MA, USA £16.10 pp 479 , 1984, Microprocess. Microsystems.