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]

Authors

Antonio Bucciarelli

This author has not been identified. Look up 'Antonio Bucciarelli' in Google

Thomas Ehrhard

This author has not been identified. Look up 'Thomas Ehrhard' in Google

Giulio Manzonetto

This author has not been identified. Look up 'Giulio Manzonetto' in Google