Jeux concurrents enrichis : témoins pour les preuves et les ressources / Aurore Alcolei ; sous la direction de Olivier Laurent et de Glynn Winskel

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Laurent, Olivier (1977-....) (Directeur de thèse / thesis advisor)

Winskel, Glynn (Directeur de thèse / thesis advisor)

Kesner, Delia (19..-....) (Président du jury de soutenance / praeses)

Ghica, Dan (Rapporteur de la thèse / thesis reporter)

Miller, Dale (Rapporteur de la thèse / thesis reporter)

Clairambault, Pierre (1983-....) (Membre du jury / opponent)

Faggian, Claudia (1969-....) (Membre du jury / opponent)

Université de Lyon (2015-....) (Organisme de soutenance / degree-grantor)

University of Cambridge (Organisme de cotutelle / degree co-grantor)

École doctorale en Informatique et Mathématiques de Lyon (Ecole doctorale associée à la thèse / doctoral school)

École normale supérieure de Lyon (Autre partenaire associé à la thèse / thesis associated third party)

Laboratoire de l'informatique du parallélisme (Lyon) (Laboratoire associé à la thèse / thesis associated laboratory)