Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=203063279.

Siaam : Simple Isolation for an Actor-based Abstract Machine / Quentin Sabah ; sous la direction de Jean-Bernard Stefani

Date :

Editeur / Publisher : , 2013

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Programmation dynamique -- Thèses et écrits académiques

Classification Dewey : 004

Stefani, Jean-Bernard (Directeur de thèse / thesis advisor)

Jensen, Thomas (1965-....) (Membre du jury / opponent)

Thomas, Gaël (1976-....) (Membre du jury / opponent)

Ducasse, Stéphane (Membre du jury / opponent)

Haugou, Germain (Membre du jury / opponent)

Université de Grenoble (2009-2014) (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Institut national de recherche en informatique et en automatique (France). Unité de recherche (Grenoble, Isère) (Laboratoire associé à la thèse / thesis associated laboratory)