Skip to Main content Skip to Navigation
Journal articles

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

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00307013
Contributor : Mohamed Mosbah Connect in order to contact the contributor
Submitted on : Monday, July 28, 2008 - 5:19:43 PM
Last modification on : Saturday, March 14, 2020 - 5:50:07 PM

Identifiers

  • HAL Id : hal-00307013, version 1

Collections

Citation

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, Elsevier, 2001, 51, pp.93-107. ⟨hal-00307013⟩

Share

Metrics

Record views

650