Development and verification of parallel algorithms in the data field model (2000)

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