|
|||||
|
|
Parallel programming: An axiomatic approach |
|
| Authors: | CAR Hoare |
| Affiliation: | Department of Computer Science, The Queen''s University, Belfast BT7 1NN, Northern Ireland |
| Abstract: | This paper develops some ideas expounded in 1]. It distinguishes a number of ways of using parallelism, including disjoint processes, competition, cooperation, and communication. In each case an axiomatic proof rule is given. |
| Keywords: | Parallel programming Axiomatic language definition Proofs of program correctness Programming languages Cooperating sequential processes |
| 本文献已被 ScienceDirect 等数据库收录！ | |