r-semi-groups: A generic approach for designing stabilizing silent tasks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4838 LNCS, Issue , 2007, Pages 281-295

  Ducourthial, Bertrand ^a  

^a UNIVERSITÉ DE TECHNOLOGIE DE COMPIÈGNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; MESSAGE PASSING; PARALLEL ALGORITHMS;

DISTRIBUTED COMPUTATION; GENERIC APPROACH;

COMPUTER OPERATING SYSTEMS;

EID: 38349030910     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76627-8_22     Document Type: Conference Paper

References (22)

1. Afek, Y., Bremler, A.: Self-stabilizing unidirectional network algorithms by power supply. Chicago Journal of Theoretical Computer Science 4(3), 1-48 (1998)
2. Aho, A., Hopcropft, J., Ullman, J.: The Design and Analysis of Computer Algorithms. In: Series in Computer Science and Information Processing, Addison-Wesley Publishing, Reading (1974)
3. Arora, A., Attie, P., Evangelist, M., Gouda, M.: Convergence of iteration systems. Distributed Computing 7, 43-53 (1993)
4. Baccelli, F., Cohen, G., Olsder, G., Quadrat, J.-P: Synchronization and Linearity, an algebra for discrete event systems. In: Series in Probability and Mathematical Statistics, Wiley, Chichester (1992)
5. Bilardi, G., Preparata, F.: Characterization of associative operations with prefix circuits of constant depth and linear size. SIAM Journal of Computing 19(2), 246-255 (1990)
6. Bourbaki, N.: Algèbre. In: Eléments de Mathé matiques, 2nd edn. Hermann, Paris. (Fascicule IV, Livre II) (1964)
7. Delaët, S., Ducourthial, B., Tixeuil, S.: Self-stabilization with r-operators revisited. Journal of Aerospace Computing, Information, and Computation, A previous version appeared in SSS'2005, Barcelona (2006)
8. Dolev, S.: Self-stabilization. MIT Press, Cambridge (2000)
9. Dolev, S., Israeli, A., Moran, S.: Self stabilization of dynamic systems assuming only read/write atomicity. Distributed Computing 7, 3-16 (1993)
10. Ducourthial, B.: New operators for computing with associative nets. In: Proc. of SIROCCO 1998, Amalfi, Italy, pp. 55-65. Carleton Scientific (1998)
11. Ducourthial, B.: r-semi-groups. Technical report, Heudiasyc UMR CNRS 6599, UTC, 2006. http://www.hds.utc.fr/~ ducourth/bib/rap-rsemigroups- BDucourthial.pdf
12. Ducourthial, B., Sicard, N., Mérigot, A.: Efficient neighborhood-based computations on regions using scans. In: Proceeding of IEEE ICIP 2005, IEEE Computer Society Press, Los Alamitos (2005)
13. Ducourthial, B., Tixeuil, S.: Self-stabilization with r-operators. Distrib. Comp. 14(3), 147-162 (2001)
14. Ducourthial, B., Tixeuil, S.: Self-stabilization with path algebra. Theoretical Computer Science (Special issue on max-plus algebra) 1(293), 219-236 (2003)
15. Gondran, M., Minoux, M.: Graphes et Algorithmes. Eyrolles, Paris (1979)
16. Gouda, M.G.: The triumph and tribulation of system stabilization. In: Helary, J.-M., Raynal, M. (eds.) WDAG 1995. LNCS, vol. 972, pp. 1-18. Springer, Heidelberg (1995)
17. Gouda, M.G., Schneider, M.: Maximizable routing metrics. IEEE/ACM Transaction on Networking 11(4), 663-675 (2003)
18. Israeli, A., Jalfon, M.: Uniform self-stabilizing ring orientation. Inform, and Comput. 104, 175-196 (1993)
19. Oehlerking, J., Dhama, A., Theel, O.: Towards automatic convergence verification of self-stabilizing algorithms. In: Tixeuil, S., Herman, T. (eds.) SSS 2005. LNCS, vol. 3764, Springer, Heidelberg (2005)
20. Tel, G.: Topics in Distributed Algorithms. In: Cambridge International Series on Parallel Computation, vol. 1, Cambridge University Press, Cambridge (1991)
21. Theel, O.: Exploitation of Ljapunov theory for verifying self-stabilizing algorithms. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol. 1914, Springer, Heidelberg (2000)
22. Tsai, M.S., Huang, S.T.: A self-stabilizing algorithm for the shortest paths problem with a fully distributed demon. Parallel Proc. Letters 4(1-2), 65-72 (1994)