Blaise Genest. Taming Concurrency using Representatives. 2016. [doi]
@book{Genest16, title = {Taming Concurrency using Representatives}, author = {Blaise Genest}, year = {2016}, url = {https://tel.archives-ouvertes.fr/tel-01939514}, researchr = {https://researchr.org/publication/Genest16}, cites = {0}, citedby = {0}, }