1 paper
Hans Hüttel, Lars Jensen, Chris Oliver Paulsen +1
We study the data-parallel language BUTF, inspired by the Futhark language for array programming. We give a translation of BUTF into a version of the pi-calculus with broadcasting…