Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms

[1]  Michael Leuschel,et al.  Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog , 2001, PADL.

[2]  Ingrid Fischer,et al.  Distributed graph transformation with application to visual design of distributed systems , 1999 .

[3]  Yves Métivier,et al.  Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling , 1998, FoSSaCS.

[4]  Yves Métivier,et al.  The Kronecker Product and Local Computations in Graphs , 1996, CAAP.

[5]  Boleslaw K. Szymanski,et al.  Terminating iterative solution of simultaneous equations in distributed message passing systems , 1985, PODC '85.

[6]  Masafumi Yamashita,et al.  Computing on Anonymous Networks: Part I-Characterizing the Solvable Cases , 1996, IEEE Trans. Parallel Distributed Syst..

[7]  Yves Métivier,et al.  On the Recognition of Families of Graphs with Local Computations , 1995, Inf. Comput..

[8]  Piotr Dembinski.  Enumeration Protocol in Estelle: an exercise in stepwise development , 1998, FORTE.

[9]  Bruno Courcelle,et al.  Coverings and Minors: Application to Local Computations in Graphs , 1994, Eur. J. Comb..

[10]  Yves Métivier,et al.  Computing with Graph Rewriting Systems with Priorities , 1993, Theor. Comput. Sci..

[11]  Yves Métivier,et al.  Graph relabelling systems and distributed algorithms , 1999 .

[12]  Yves Métivier,et al.  Termination detection and universal graph reconstruction , 2000, SIROCCO.

[13]  Michael Leuschel.  Design and Implementation of the High-Level Specification Language CSP(LP) , 2001 .

[14]  Dirk Janssens.  Actor grammars and local actions , 1999 .

[15]  Yves Métivier,et al.  Some Remarks on the Kronecker Product of Graphs , 1998, Inf. Process. Lett..

[16]  Dana Angluin,et al.  Local and global properties in networks of processors (Extended Abstract) , 1980, STOC '80.

[17]  Anca Muscholl,et al.  About the local detection of termination of local computations in graphs , 1997, SIROCCO.

[18]  Jan van Leeuwen,et al.  Simulation of Large Networks on Smaller Networks , 1986, Inf. Control..

[19]  Antoni W. Mazurkiewicz.  Distributed Enumeration , 1997, Inf. Process. Lett..