Résultats 1 à 9

Dates de soutenance :


Etablissements :

Valider et fermer
  • Palaiseau, Ecole polytechnique (2)
  • Aix-Marseille (1)
  • Grenoble (1)
  • Limoges (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Orléans (1)
  • Paris 7 (1)
  • Paris, ENMP (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Mathématiques (1)
  • Sciences appliquées (1)
  • Sciences et génie des matériaux (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (6)
  • anglais (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Palamidessi Catuscia (2)
  • Codognet Philippe (1)
  • Danos Vincent (1)
  • Hirschkoff Daniel (1)
  • Lanet Jean-Louis (1)
  • Lescanne Pierre (1)
  • Mezghiche Mohamed (1)
  • Régnier Laurent (1)
  • Sangiorgi Davide (1)
  • Schmitt Alan (1)
  • Stefani Jean-Bernard (1)
  • Valencia Frank (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (5)
  • Mathématiques (2)
  • Physique (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

9 thèses pour "Bisimilarité"

...d’un choix probabliste. Nous donnons unetechnique pour établir que la bisimilarité applicative...

Accéder en ligne
Sciences et génie des matériaux

Soutenue en 2005
thèse soutenue
Informatique

Soutenue en 2006
thèse soutenue

...′Rp′),avec u repre´sente une action qui permet de passer de p a` p′ (Resp. de q a` q′). La bisimilarite´est l...

Accéder en ligne

Résultats 1 à 9