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

Type de document :
Article dans une revue
Annals of Pure and Applied Logic, Elsevier Masson, 2012, 163 (7), pp.918-934
Liste complète des métadonnées

https://hal.inria.fr/inria-00628887
Contributeur : Antonio Bucciarelli <>
Soumis le : mardi 4 octobre 2011 - 14:32:19
Dernière modification le : jeudi 11 janvier 2018 - 06:17:47

Identifiants

  • HAL Id : inria-00628887, version 1

Collections

PPS | USPC

Citation

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto. A relational semantics of parallelism and non-determinism in a functional setting.. Annals of Pure and Applied Logic, Elsevier Masson, 2012, 163 (7), pp.918-934. 〈inria-00628887〉

Partager

Métriques

Consultations de la notice

75