On Post’s embedding problem and the complexity of lossy channels
Les systèmes à canaux non fiables ont été introduits à l'origine comme un modèle de communication. Ils ont donné naissance à une classe de complexité restée mal comprise pendant longtemps. Dans cette thèse, nous étudions et comblons certaines des plus importantes lacunes dans la connaissance de...
Main Author: | Chambart, Pierre |
---|---|
Other Authors: | Cachan, Ecole normale supérieure |
Language: | en |
Published: |
2011
|
Subjects: | |
Online Access: | http://www.theses.fr/2011DENS0036/document |
Similar Items
-
On Post's embedding problem and the complexity of lossy channels
by: Chambart, Pierre
Published: (2011) -
Vers des outils efficaces pour la vérification de systèmes concurrents
by: Geffroy, Thomas
Published: (2017) -
Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones, et techniques de vérification automatique
by: Bertrand, Nathalie
Published: (2006) -
Environnement de développement d’applications multipériodiques sur plateforme multicoeur. : La boîte à outils SchedMCore
by: Cordovilla Mesonero, Mikel
Published: (2012) -
Propriétés de jeux multi-agents
by: Lopes, Arnaud Da Costa
Published: (2011)