Development and Verification of Parallel Algorithms in the Data Field Model (2000)

by Björn Lisper, Jonas Holmerin
Venue:Proc. 2nd Int. Workshop on Constructive Methods for Parallel Programming