Pardis: a process calculus for parallel and distributed programming in Haskell. - Blöcker, Christopher; Hoffmann, Ulrich (Journal of Supercomputing, 2018)