A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems

Mohamed Tounsi
  • Fonction : Auteur
Laboratoire Bordelais de Recherche en Informatique
Ahmed Hadj Kacem
  • Fonction : Auteur
Mohamed Mosbah
Laboratoire Bordelais de Recherche en Informatique
Dominique Méry
Proof-oriented development of computer-based systems
CV

Domaines

Génie logiciel [cs.SE] Calcul parallèle, distribué et partagé [cs.DC]

Mohamed Mosbah  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00361933

Soumis le : lundi 16 février 2009-21:44:50

Dernière modification le : vendredi 24 mars 2023-14:52:51

Fichier non déposé

Dates et versions

hal-00361933 , version 1 (16-02-2009)

Identifiants

  • HAL Id : hal-00361933 , version 1

Citer

Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Dominique Méry. A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems. Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany. ⟨hal-00361933⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA ANR
275 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More