Functional Array Programming in an Extended Pi-Calculus. - Hans Hüttel; Lars Jensen; Chris Oliver Paulsen; Julian Teule (EXPRESS/SOS, 2024)