Calcul de programmes parallèles avec Coq

Computer Science [cs] Distributed, Parallel, and Cluster Computing [cs.DC] Computer Science [cs] Programming Languages [cs.PL] Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Logic in Computer Science [cs.LO]

Frédéric Loulergue : Connect in order to contact the contributor

https://hal.inria.fr/hal-01107296

Submitted on : Tuesday, January 20, 2015-2:48:25 PM

Last modification on : Saturday, June 25, 2022-10:12:43 AM

Dates and versions

hal-01107296 , version 1 (20-01-2015)

Identifiers

HAL Id : hal-01107296 , version 1

Cite

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calcul de programmes parallèles avec Coq. Informatique Mathématique, CNRS Éditions, 2015, collection Alpha. ⟨hal-01107296⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS7 PPS CNRS INRIA UNIV-ORLEANS LACL MSL UPEC MSL-THESE INRIA2 UNIV-PARIS ANR

229 View

0 Download