Taming Concurrency using Representatives.

Blaise Genest 1
1 SUMO - SUpervision of large MOdular and distributed systems
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [134 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/tel-01939514
Contributor : Blaise Genest <>
Submitted on : Thursday, November 29, 2018 - 3:11:25 PM
Last modification on : Wednesday, January 16, 2019 - 1:16:31 AM

File

hdrFinal.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01939514, version 1

Citation

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

Share

Metrics

Record views

32

Files downloads

34