Colonies of Synchronizing Agents

作者: Radu Mardare , Matteo Cavaliere , Sean Sedwards

DOI:

关键词:

摘要: We propose a modelling framework and computational paradigm called Colonies of Synchronizing Agents (CSAs) inspired by the intracellular intercellular mechanisms present in biological tissue. The proposed model is based on multiset agents common environment. Each agent has local state, stored form atomic objects, which updated global rewriting rules either asynchronously or synchrony with another agent. first define model, then study its power, considering trade-offs between internal (i.e., mechanism) synchronization among mechanisms). also investigate dynamic properties CSAs, including behavioral robustness (ability to generate core behavior despite rule failure) safety for an synchronize agent, whenever needed). This preliminary version paper that was published Proceedings International Workshop Automata Cellular Molecular Computing, Computer Automation Research Institute Hungarian Academy Sciences, 2007.

参考文章(14)
Marian Gheorghe, Francesco Bernardini, Population P Systems. Journal of Universal Computer Science. ,vol. 10, pp. 509- 539 ,(2004)
Gheorghe Paun, Jrgen Dassow, Regulated rewriting in formal language theory ,(1989)
Claudio Zandron, Robert Brijder, Grzegorz Rozenberg, Francesco Bernardini, Multiset-Based Self-Assembly of Graphs Fundamenta Informaticae. ,vol. 75, pp. 49- 75 ,(2007)
Matteo Cavaliere, Evolution-communication P systems Lecture Notes in Computer Science. pp. 134- 145 ,(2002) , 10.1007/3-540-36490-0_10
Mordechai Ben-Ari, Amir Pnueli, Zohar Manna, The temporal logic of branching time Acta Informatica. ,vol. 20, pp. 207- 226 ,(1983) , 10.1007/BF01257083
Rajeev Motwani, John E. Hopcroft, Jeffrey D. Ullman, Rotwani, Introduction to Automata Theory, Languages, and Computation ,(1979)
Dirk Hauschildt, Matthias Jantzen, Petri net algorithms in the theory of matrix grammars Acta Informatica. ,vol. 31, pp. 719- 728 ,(1994) , 10.1007/BF01178731
Artiom Alhazov, Minimizing evolution-communication P systems and automata New Generation Computing. ,vol. 22, pp. 299- 310 ,(2004) , 10.1007/BF03037283
S.A. Greibach, Remarks on blind and partially blind one-way multicounter machines Theoretical Computer Science. ,vol. 7, pp. 311- 324 ,(1978) , 10.1016/0304-3975(78)90020-8