Pardis: A Process Calculus for Parallel and Distributed Programming in Haskell.

Christopher Blcker, Ulrich Hoffmann

Browse the full PPAM paper archive.