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]
No reviews for this publication, yet.