Decidability and complexity of simulation preorder for data-centric Web services / Lakhdar Akroun ; sous la direction de Farouk Toumani

Date :

Editeur / Publisher : , 2014

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Services Web -- Thèses et écrits académiques

Toumani, Farouk (Directeur de thèse / thesis advisor)

Rusinowitch, Michaël (1956-....) (Président du jury de soutenance / praeses)

Salaün, Gwen (1977-....) (Rapporteur de la thèse / thesis reporter)

Klai, Kais (1972-....) (Rapporteur de la thèse / thesis reporter)

Nourine, Lhouari (Membre du jury / opponent)

Benzaken, Véronique (19..-....) (Membre du jury / opponent)

Université Blaise Pascal (Clermont-Ferrand) (Organisme de soutenance / degree-grantor)

École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (Laboratoire associé à la thèse / thesis associated laboratory)