@InProceedings{CHALOPIN_2008_HAL-00332759_1, Author = {Chalopin, Jérémie and Godard, Emmanuel and Métivier, Yves}, Title = {{L}ocal terminations and distributed computability in anonymous networks}, BookTitle = {{D}istributed computing {I}nternational symposium on distributed computing ({DISC})}, Volume = {4218}, Pages = {47--62}, Series = {{L}ecture notes in computer science}, Publisher = {{S}pringer}, Address = {{A}rcachon {F}rance}, Year = {2008} } @InProceedings{CHALOPIN_2007_HAL-00308126_1, Author = {Chalopin, Jérémie and Godard, Emmanuel and Métivier, Yves and Tel, Gerard}, Title = {{A}bout the termination detection in the asynchronous message passing model}, BookTitle = {{T}heory and {P}ractice of {C}omputer {S}cience 33rd {I}nternational conference on {C}urrent trends in theory and practice of computer science ({SOFSEM} 2007)}, Volume = {4362}, Pages = {200--211}, Series = {{L}ecture notes in computer science}, Publisher = {springer}, Address = {{T}ch{č}que, {R}{é}publique}, Year = {2007} } @InProceedings{GODARD_2004-Characterizations, Author = {Godard, Emmanuel and Métivier, Yves and Muscholl, Anca}, Title = {Characterizations of Classes of Graphs Recognizable by Local Computations}, BookTitle = {Theory of Computing Systems}, Volume = {37(2)}, Pages = {249--93}, Publisher = {Springer}, Year = {2004} } @InProceedings{GODARD_2002_HAL-00307375_1, Author = {Godard, Emmanuel and Métivier, Yves}, Title = {{A} characterization of families of graphs in which election is possible}, BookTitle = {{F}oundations of {S}oftware {S}cience and {C}omputation {S}tructures {F}oundations of {S}ystem {S}pecification and {C}omputation {S}tructures ({F}o{SS}a{CS}) ({EATCS} best paper award)}, Volume = {2303}, Pages = {159--171}, Series = {{L}ecture notes in computer science}, Publisher = {{S}pringer}, Address = {{E}spagne}, Year = {2002} } @InProceedings{GODARD_2003-DeducibleAndEquivalent, Author = {Godard, Emmanuel and Métivier, Yves}, Title = {Deducible and Equivalent Structural Knowledges in Distributed Algorithms}, BookTitle = {Theory of Computing Systems}, Pages = {631--54}, Publisher = {Springer New York}, Year = {2003} } @InProceedings{GODARD_2002-EquivalenceOfStructural, Author = {Godard, Emmanuel and Métivier, Yves}, Title = {Equivalence of structural knowledges in distributed algorithms}, BookTitle = {9th International Colloquium on Structural Information and Communication Complexity}, Pages = {149--64}, Publisher = {Carleton Scientific Press}, Year = {2002} } @InProceedings{730798, Author = {Godard, Emmanuel and Métivier, Yves and Mosbah, Mohamed and Sellami, Afif}, Title = {Termination Detection of Distributed Algorithms by Graph Relabelling Systems}, BookTitle = {ICGT '02: Proceedings of the First International Conference on Graph Transformation}, Pages = {106--119}, Publisher = {Springer-Verlag}, Address = {London, UK}, Year = {2002} } @TechReport{GODARD-2009-448749, Author = {Godard, Emmanuel and Métivier, Yves and Tel, Gerard}, Title = {Termination Detection of Local Computations}, Month = {December}, Year = {2009} } @article{chalopin:hal-00695944, Author = {Chalopin, Jérémie and Godard, Emmanuel and Métivier, Yves}, Title = {{Election in Partially Anonymous Networks with Arbitrary Knowledge in Message Passing Systems}}, Journal = {Distributed Computing}, Volume = {25}, Number = {4}, Pages = {297--311}, Month = {July}, Year = {2012} }