Different local controls for graph relabeling systems-Reference-Cited by-同舟云学术

Different local controls for graph relabeling systems

Published:1995-01 Issue:1 Volume:28 Page:41-65
ISSN:0025-5661
Container-title:Mathematical Systems Theory
language:en
Short-container-title:Math. Systems Theory

Author:

Litovsky I.,M�tivier Y.,Sopena E.

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,General Mathematics,Theoretical Computer Science,Computational Theory and Mathematics,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01294595.pdf

Reference12 articles.

1. M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Kiskov, G. P. Mullery, and F. B. Schneider,Distributed Systems, Lecture Notes in Computer Science, Vol. 190, Springer-Verlag, Berlin, 1985.

2. D. Angluin, Local and global properties in networks of processors,Proceedings of the 12th Symposium on The Theory of Computing, 1980, pp. 82?93.

3. C. Berge,Graphs and Hypergraphs, North-Holland, Amsterdam, 1977.

4. M. Billaud, P. Lafon, Y. Métivier, and E. Sopena,Graph Rewriting Systems with Priorities, Lecture Notes in Computer Science, Vol. 411, Springer-Verlag, Berlin, 1989, pp. 94?106.

5. B. Courcelle, Recognizable sets of unrooted trees, inTree Automata and Languages, M. Nivat and A. Podelski (editors), Elsevier, Amsterdam, 1992, pp. 141?157.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Event-B Specifications to Programs for Distributed Algorithms;2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises;2013-06

2. Refinement-Based Verification of Local Synchronization Algorithms;Lecture Notes in Computer Science;2011

3. Sublinear Fully Distributed Partition with Applications;Theory of Computing Systems;2009-02-12

4. Distributed Graph Traversals by Relabelling Systems with Applications;Electronic Notes in Theoretical Computer Science;2006-05

5. A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms;Electronic Notes in Theoretical Computer Science;2003-02