A relational semantics for parallelism and non-determinism in a functional setting

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto. A relational semantics for parallelism and non-determinism in a functional setting. Annals of Pure and Applied Logic, 163(7):918-934, 2012. [doi]

Abstract

Abstract is missing.