SYNCHRONIZING RESOURCES

[1] ANDREWS GR, 1979, IMPLEMENTATION SYNCH

[2] A Proof System for Communicating Sequential Processes [J]. ACM Transactions on Programming Languages and Systems, 1980, 2 (03): : 359 - 385

[3] Atkinson RR, 1977, 4TH ACM S PRINC PROG, P267

[4] CAMPBELL RH, 1974, LECTURE NOTES COMPUT, V16, P89

[5] CONCURRENT CONTROL WITH READERS AND WRITERS [J]. COMMUNICATIONS OF THE ACM, 1971, 14 (10) : 667 - &

[6] Dijkstra E. W., 1968, Programming languages, P43

[7] DIJKSTRA EW, 1975, ACM, V18, P453

[8] DIJKSTRA EW, 1978, ACM, V21, P966

[9] FELDMAN JA, 1979, ACM, V22, P353

[10] FELDMAN JA, 1977, TR9 U ROCH COMP SCI

[1] ANDREWS GR, 1979, IMPLEMENTATION SYNCH

[2] A Proof System for Communicating Sequential Processes [J]. ACM Transactions on Programming Languages and Systems, 1980, 2 (03): : 359 - 385

[3] Atkinson RR, 1977, 4TH ACM S PRINC PROG, P267

[4] CAMPBELL RH, 1974, LECTURE NOTES COMPUT, V16, P89

[5] CONCURRENT CONTROL WITH READERS AND WRITERS [J]. COMMUNICATIONS OF THE ACM, 1971, 14 (10) : 667 - &

[6] Dijkstra E. W., 1968, Programming languages, P43

[7] DIJKSTRA EW, 1975, ACM, V18, P453

[8] DIJKSTRA EW, 1978, ACM, V21, P966

[9] FELDMAN JA, 1979, ACM, V22, P353

[10] FELDMAN JA, 1977, TR9 U ROCH COMP SCI