Journal: International Journal of Parallel Programming

Volume 20, Issue 1

1 -- 22Manfred Broy, Thomas Streicher. Specification and design of shared resource arbitration
23 -- 53Paul Feautrier. Dataflow analysis of array and scalar references
55 -- 74Mike Livesey. A network model of barrier synchronization algorithms