A GENERALIZATION OF OWICKI-GRIES HOARE LOGIC FOR A CONCURRENT WHILE LANGUAGE

[1] ABRAHAMSON K, 1979, LECTURE NOTES COMPUT, V70, P21

[2] RECURSIVE ASSERTIONS AND PARALLEL PROGRAMS [J]. ACTA INFORMATICA, 1981, 15 (03) : 219 - 232

[3] BARRINGER H, 1984, 16TH P ACM S THEOR C, P51

[4] BROOKES SD, 1985, LECTURE NOTES COMPUT, V193, P41

[5] DEROEVER W, 1985, ROLE ABSTRACT MODELS

[6] HENNESSY M, 1979, LECTURE NOTES COMPUT, V74, P108

[7] JONES CB, 1983, P IFIP 83, P321

[8] THE HOARE LOGIC OF CONCURRENT PROGRAMS [J]. ACTA INFORMATICA, 1980, 14 (01) : 21 - 37

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

[10] OWICKI S, 1975, THESIS CORNELL U NEW

[1] ABRAHAMSON K, 1979, LECTURE NOTES COMPUT, V70, P21

[2] RECURSIVE ASSERTIONS AND PARALLEL PROGRAMS [J]. ACTA INFORMATICA, 1981, 15 (03) : 219 - 232

[3] BARRINGER H, 1984, 16TH P ACM S THEOR C, P51

[4] BROOKES SD, 1985, LECTURE NOTES COMPUT, V193, P41

[5] DEROEVER W, 1985, ROLE ABSTRACT MODELS

[6] HENNESSY M, 1979, LECTURE NOTES COMPUT, V74, P108

[7] JONES CB, 1983, P IFIP 83, P321

[8] THE HOARE LOGIC OF CONCURRENT PROGRAMS [J]. ACTA INFORMATICA, 1980, 14 (01) : 21 - 37

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

[10] OWICKI S, 1975, THESIS CORNELL U NEW