Axiomatisations et types pour des processus probabilistes et mobiles (Record no. 103988)

003 - Identifiant pérenne de la notice
Identifiant pérenne de la notice http://www.sudoc.fr/118685341
005 - numéro d'identification de la version
identification de la version 20190729220342.0
009 - PPN
PPN 118685341
035 ## -
-- 103988
035 ## -
-- 061522302
-- 103988
099 ## - Informations locales
date creation notice (koha) 2006-03-21
date modification notice (koha) 2019-07-29
100 ## - données générales de traitement
données générales de traitement 20071023d2005 k y0frey50 ba
181 ## - Forme du contenu
Données de lien entre zones z01
Source du code non-ISO rdacontent
181 #1 - Forme du contenu
Données de lien entre zones z01
Code de la forme de contenu en ISBD
Code du qualificatif de contenu en ISBD xxxe##
182 ## - Type de médiation
Données de lien entre zones z01
Source du code non-ISO rdamedia
182 #1 - Type de médiation
Données de lien entre zones z01
Code du Type de médiation en ISBD Sans médiation
183 #1 - Type de support matériel
données de lien entre zones z01
source du code rdacarrier
200 1# - titre
Titre propre Axiomatisations et types pour des processus probabilistes et mobiles
Auteur principal par Yuxin Deng
Auteur(s) secondaire(s) sous la direction de Davide Sangiorgi
210 #1 - éditeur
Date de publication 2005
215 ## - description
Caractéristiques matérielles 1 vol. ( 168 p.)
Format 30 cm
300 ## - note
texte de la note Thèse en ligne sur pastel
320 ## - note
texte de la note Bibliogr. 110 réf.
328 #0 - note
Détails sur la thèse ou le mémoire dont le type de diplôme Thèse de doctorat
Discipline Sciences et génie des matériaux
Organisme délivrant le diplôme Paris, ENMP
Date du diplôme 2005
330 ## - résumé
texte de la note Cette thèse se concentre sur des bases théoriques utiles pour l’analyse d’algorithmes et de protocoles pour des systèmes répartis modernes. Deux caractéristiques importantes des modèles pour ces systèmes sont les probabilités et la mobilité typée : des probabilités peuvent être utilisées pour quantifier des comportements incertains ou imprévisibles, et des types peuvent être utilisés pour garantir des comportements sˆurs dans des systèmes mobiles. Dans cette thèse nous développons des techniques algébriques et des techniques basées sur les types pour l’étude comportementale des processus probabilistes et mobiles. Dans la première partie de la thèse nous étudions la théorie algébrique d’un calcul de processus qui combine les comportements non-déterministe et probabiliste dans le modèle des automates probabilistes proposés par Segala et Lynch. Nous considérons diverses équivalences comportementales fortes et faibles, et nous fournissons des axiomatisations complètes pour des processus à états finis, limitées à la récursion gardée dans le cas des équivalences faibles. Dans la deuxième partie de la thèse nous étudions la théorie algébrique du n-calcul en présence des types de capacités, qui sont très utiles dans les calculs de processus mobiles. Les types de capacités distinguent la capacité de lire sur un canal, la capacité d’écrire sur un canal, et la capacité de lire et d’écrire à la fois. Ils introduisent également une relation de sous-typage naturelle et puissante. Nous considérons deux variantes de la bisimilarité typée, dans leurs versions retardées et anticipées. Pour les deux variantes, nous donnons des axiomatisations complètes pour les termes fermés. Pour une des deux variantes, nous fournissons une axiomatisation complète pour tous les termes finis. Dans la dernière partie de la thèse nous développons des techniques basées sur les types pour vérifier la propriété de terminaison de certains processus mobiles.
541 ## - titre traduit ajouté par le catalogueur
titre traduit Axiomatisations and types for probabilistic and mobile processus
langue du titre traduit eng
606 ## - Mot Matière
Numéro de notice d'autorité 033699232
Element d'entrée Maîtrise statistique des processus
Numéro de notice d'autorité 027253139
Subdivision de sujet Thèses et écrits académiques
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 034147411
Element d'entrée Théorie des types
Numéro de notice d'autorité 027253139
Subdivision de sujet Thèses et écrits académiques
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 027241289
Element d'entrée Probabilités
Numéro de notice d'autorité 027253139
Subdivision de sujet Thèses et écrits académiques
Code du système d'indexation rameau
610 ## - sujets
sujet axiomatisation
610 ## - sujets
sujet Système réparti
610 ## - sujets
sujet bisimilarité
610 ## - sujets
sujet maîtrise statistique des processus
610 ## - sujets
sujet calcul de processus
610 ## - sujets
sujet types, théorie des
610 ## - sujets
sujet mobilité typée
700 #1 - auteur
numéro de la notice d'autorité 118685317
Nom de l'auteur Deng
Prénom Yuxin
dates 1978-...
702 #1 - nom de personne - mention de responsabilité secondaire
numéro de la notice d'autorité 060102640
élément d'entrée Sangiorgi
partie du nom autre que l'élément d'entrée Davide
dates 1964-....
code de fonction Directeur de thèse
712 02 - collectivité - mention de responsabilité secondaire
Numéro de la notice autorité 026375249
Elément d'entrée École nationale supérieure des mines
Elément ajouté au nom ou qualificatif Paris
Code de fonction Organisme de soutenance
801 #3 - source de catalogage
Date de la transaction 20180306
930 ## -
-- 061522302:417649207
-- 061522302
-- EMS T-CMA-059
-- g
991 ## -
-- 061522302:417649207
-- exemplaire créé automatiquement par l'ABES
915 ## -
-- 751062310:318735873
-- EMP 153.272 CCL.TH.1133
-- EMP46635D
930 ## -
-- 751062310:318735873
-- 751062310
-- EMP 153.272 CCL.TH.1133
-- s
Holdings
Perdu Origine geographique du document Localisation cote Statut de l'exemplaire note sur l'exemplaire Propri
Présent Bib. Paris Bib. Paris EMP 153.273 CCL.TH.1133 Perdu Thèse en ligne. Manquant au 07/03/2018 LR Publications de l'Ecole
Présent Bib. Paris Bib. Paris EMP 153.272 CCL.TH.1133 Empruntable Thèse en ligne. Publications de l'Ecole
Présent Sophia Antipolis Sophia Antipolis EMS T-CMA-059 Sur demande Thèse en ligne Sophia-Antipolis

Powered by Koha