THE HOARE LOGIC OF CONCURRENT PROGRAMS

[1] PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 10 (01) : 110 - 135

[2] FLOYD RW, 1967, P S APPL MATH AM MAT, P19

[3] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &

[4] PROVING CORRECTNESS OF MULTI-PROCESS PROGRAMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (02) : 125 - 143

[5] LAMPORT L, 1980, 7TH P ANN S PRINC PR

[6] AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1. [J]. ACTA INFORMATICA, 1976, 6 (04) : 319 - 340

[7] PNUELI A, 1977, 18TH P S F COMP SCI

[1] PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 10 (01) : 110 - 135

[2] FLOYD RW, 1967, P S APPL MATH AM MAT, P19

[3] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &

[4] PROVING CORRECTNESS OF MULTI-PROCESS PROGRAMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (02) : 125 - 143

[5] LAMPORT L, 1980, 7TH P ANN S PRINC PR

[6] AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1. [J]. ACTA INFORMATICA, 1976, 6 (04) : 319 - 340

[7] PNUELI A, 1977, 18TH P S F COMP SCI