Une algèbre de processus : pour un calcul basé sur la déduction / Zineb Talantikit ép. Habbas ; sous la direction de [Phillipe Jorrand]

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Jorrand, Philippe (19..-.... ; informaticien) (Directeur de thèse / thesis advisor)

Sifakis, Joseph (1946-.... ; informaticien) (Président du jury de soutenance / praeses)

Institut national polytechnique (Grenoble ; 1900-....) (Organisme de soutenance / degree-grantor)

Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Une algèbre de processus : pour un calcul basé sur la déduction / Zineb Talantikit ép. Habbas ; sous la direction de [Phillipe Jorrand] / Grenoble : Université Joseph Fourier , 2008

Relation : Une algèbre de processus : pour un calcul basé sur la déduction / Zineb Talantikit ép. Habbas ; sous la direction de [Phillipe Jorrand] / Grenoble : Atelier national de reproduction des thèses , 1992