Publications 2002

Academic Journals

  1. Michel Bauderon, Yves Métivier, Mohamed Mosbah, Affif Sellami. Graph Relabelling Systems: A Tool for Encoding, Proving, Studying and Visualizing Distributed Algorithms. Electronic Notes in Theoretical Computer Science, GETGRATS Closing Workshop, 51(0):93-107, 2002. details ppt
  2. Yves Métivier, Nasser Saheb, Akka Zemmari. Randomized local elections. Inf. Process. Lett, 82(6):313-320, 2002. details ppt

International Conferences

  1. Emmanuel Godard, Yves Métivier. A characterization of families of graphs in which election is possible. In Foundations of Software Science and Computation Structures Foundations of System Specification and Computation Structures (FoSSaCS) (EATCS best paper award), Lecture notes in computer science, Volume 2303, Pages 159-171, Espagne, 2002. details ppt
  2. Emmanuel Godard, Yves Métivier. Equivalence of structural knowledges in distributed algorithms. In 9th International Colloquium on Structural Information and Communication Complexity, Pages 149-64, 2002. details
  3. Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami. Termination Detection of Distributed Algorithms by Graph Relabelling Systems. In ICGT '02: Proceedings of the First International Conference on Graph Transformation, Pages 106-119, London, UK, 2002. details ppt
  4. Yves Métivier, Mohamed Mosbah, Affif Sellami. Proving Distributed Algorithms by Graph Relabelling Systems: Examples of Trees in Networks with Processor Identities. In AGT2002, ETAPS, Grenoble, France, April 2002. details ps

Misc

  1. Michel Bauderon, Yves Métivier, Mohamed Mosbah, Affif Sellami. From Local Computations to Asynchronous Message Passing Systems. 2002. details ps

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.