HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

La suppression des anomalies dans les protocoles : vers une méthode basée sur l'ajout incrémental de transitions

César Viho 1
1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : Ce rapport traite du problème de la mise en oeuvre de méthodes destinées à supprimer les anomalies dans les protocoles. A travers l'étude de quelques exemples de protocoles, nous montrons comment on peut utiliser le service et des abstractions du protocole pour apporter une solution à ce problème. Contrairement à nos travaux précédents orientés vers la suppression de transitions, les solutions préconisées ici sont basées sur l'ajout incrémental de transitions dans les entités communicantes.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074153
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:37:44 PM
Last modification on : Friday, February 4, 2022 - 3:25:35 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:12:57 PM

Identifiers

  • HAL Id : inria-00074153, version 1

Citation

César Viho. La suppression des anomalies dans les protocoles : vers une méthode basée sur l'ajout incrémental de transitions. [Rapport de recherche] RR-2526, INRIA. 1995. ⟨inria-00074153⟩

Share

Metrics

Record views

99

Files downloads

46