[1] |
Per Brinch Hansen,Distributed processes, a concurrent programming concept, Comm. ACM, vol. 21. no 11, Nov. 1978. · Zbl 0393.68028 |
[2] |
Stein Gjessing,Compile time preparations for run time scheduling in monitors, BIT Vol. 18, No. 1, 1978. · Zbl 0377.68012 |
[3] |
C. A. R. Hoare,Proof of correctness of data representations, Acta Informatica, vol. 1, 1971. · Zbl 0395.68019 |
[4] |
C. A. R. Hoare,Monitors: An operating system structuring concept, Comm. ACM, Vol. 17, no 10, Oct. 1974. · Zbl 0308.68029 |
[5] |
C. A. R. Hoare,Communicating sequential processes, Comm. ACM, vol. 21, no 8, Aug. 1978. · Zbl 0383.68028 |
[6] |
John H. Howard,Proving monitors, Comm. ACM, vol. 19, no 5, May 1976. · Zbl 0322.68016 |
[7] |
Arne Wang and Ole-Johan Dahl,Coroutine sequencing in a block structured environment, BIT, vol. 11, no 4, 1971. · Zbl 0242.68013 |
[8] |
N. Wirth,Toward a discipline of real-time programming, Comm. ACM, vol. 20, no 8, Aug. 1977. · Zbl 0362.68043 |