Gérard Boudol 1 AuthorId : 74569 Auteur
Ilaria Castellani 1 AuthorId : 74570 Auteur
Matthew Hennessy 2 AuthorId : 101950 Auteur Etablissement employeur : University of Sussex
Astrid Kiehn AuthorId : 101951 Auteur Etablissement employeur : Technische Universität München [München]
Informatique [cs] / Autre [cs.OH]
INRIA | INRIA-RRRT | LARA