Taming Concurrency using Representatives. - Archive ouverte HAL Accéder directement au contenu
Hdr Année : 2016

Taming Concurrency using Representatives.

Blaise Genest
  • Fonction : Auteur
  • PersonId : 864401
SUpervision of large MOdular and distributed systems

Domaines

Autre [cs.OH] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
hdrFinal.pdf (895.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Blaise Genest  : Connectez-vous pour contacter le contributeur

https://hal.science/tel-01939514

Soumis le : jeudi 29 novembre 2018-15:11:25

Dernière modification le : vendredi 24 mars 2023-14:53:08

Télécharger pour visualiser

Dates et versions

tel-01939514 , version 1 (29-11-2018)

Identifiants

  • HAL Id : tel-01939514 , version 1

Citer

Blaise Genest. Taming Concurrency using Representatives.. Other [cs.OH]. Rennes 1, 2016. ⟨tel-01939514⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
70 Consultations
103 Téléchargements

Partager

Gmail Facebook X LinkedIn More