Login / Signup

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

Antonio BucciarelliThomas EhrhardGiulio Manzonetto
Published in: Ann. Pure Appl. Log. (2012)
Keyphrases