| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 428026 | Information Processing Letters | 2009 | 4 Pages |
Abstract
Graphs are used to model control and data flow among events occurring in the execution of a concurrent program. Our treatment of data flow covers both shared storage and external communication. Nevertheless, the laws of Hoare and Jones correctness reasoning remain valid when interpreted in this general model.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
