Aurore Alcolei. Enriched concurrent games : witnesses for proofs and resource analysis. (Jeux concurrents enrichis : témoins pour les preuves et les ressources). PhD thesis, University of Cambridge, UK, 2019. [doi]
@phdthesis{hal-13083,
title = {Enriched concurrent games : witnesses for proofs and resource analysis. (Jeux concurrents enrichis : témoins pour les preuves et les ressources)},
author = {Aurore Alcolei},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02448974},
researchr = {https://researchr.org/publication/hal-13083},
cites = {0},
citedby = {0},
school = {University of Cambridge, UK},
}