Graph relabelling systems: a tool for encoding, proving, studying and visualizing distributed algorithms - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Electronic Notes in Theoretical Computer Science Année : 2001

Graph relabelling systems: a tool for encoding, proving, studying and visualizing distributed algorithms

M. Bauderon
  • Fonction : Auteur
Yves Métivier
  • Fonction : Auteur
Laboratoire Bordelais de Recherche en Informatique
Mohamed Mosbah
Laboratoire Bordelais de Recherche en Informatique
A. Sellami
  • Fonction : Auteur

Domaines

Autre [cs.OH] Calcul parallèle, distribué et partagé [cs.DC]

Mohamed Mosbah  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00307013

Soumis le : lundi 28 juillet 2008-17:19:43

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

Fichier non déposé

Dates et versions

hal-00307013 , version 1 (28-07-2008)

Identifiants

  • HAL Id : hal-00307013 , version 1

Citer

M. Bauderon, Yves Métivier, Mohamed Mosbah, A. Sellami. Graph relabelling systems: a tool for encoding, proving, studying and visualizing distributed algorithms. Electronic Notes in Theoretical Computer Science, 2001, 51, pp.93-107. ⟨hal-00307013⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
198 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More