Authors: Alhazov Artiom, Marco Antoniotti, Rudolf Freund, Alberto Leporati, Giancarlo Mauri
Abstract
In this paper we study a notion of self-stabilization, inspired from biology and engineering. Multiple variants of formalization of this notion are considered, and we discuss how such properties affect the computational power of multiset rewriting systems.
A. Alhazov1,2, M. Antoniotti1, R. Freund3, A. Leporati1, G. Mauri1
1Università degli Studi di Milano-Bicocca
Dipartimento di Informatica, Sistemistica e Comunicazione
Viale Sarca 336, 20126 Milano, Italy
E-mail: , , ,
2 Institute of Mathematics and Computer Science
Academy of Sciences of Moldova
Academiei 5, Chişinău MD-2028 Moldova
E-mail:
3Faculty of Informatics, Vienna University of Technology
Favoritenstr. 9, 1040 Vienna, Austria
E-mail:
Fulltext
–
0.18 Mb