Faster synchronization in P systems

作者: Michael J. Dinneen , Yun-Bum Kim , Radu Nicolescu

DOI: 10.1007/S11047-011-9271-Z

关键词:

摘要: In the field of molecular computing, in particular P systems, synchronization is an important requirement for composing or sequentially linking together congenial system activities. We provide a deterministic algorithm to Firing Squad Synchronization Problem, digraph-based which runs 3e + 11 steps, where e eccentricity general. Our uses convenient framework, called simple modules, embraces essential features several popular types systems.

参考文章(22)
Tim Humphrey, Gavin Brooks, Cell cycle control: mechanisms and protocols Humana Press. ,(2005)
Artiom Alhazov, Maurice Margenstern, Sergey Verlan, Fast Synchronization in P Systems Membrane Computing. ,vol. 5391, pp. 118- 128 ,(2009) , 10.1007/978-3-540-95885-7_9
Hiroshi Umeo, Masaya Hisaoka, Shunsuke Akiguchi, A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays Lecture Notes in Computer Science. pp. 214- 223 ,(2005) , 10.1007/11560319_20
E. F. Moore, The firing squad synchronization problem Sequential Machines, Selected Papers. pp. 213- 214 ,(1964)
Kenichi Morita, Katsunobu Imai, Kenji Sako, Firing squad synchronization problem in number-conserving cellular automata Fundamenta Informaticae. ,vol. 52, pp. 133- 141 ,(2002)
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu, Synchronization in P Modules Lecture Notes in Computer Science. pp. 32- 44 ,(2010) , 10.1007/978-3-642-13523-1_7
Yasuaki Nishitani, Namio Honda, The firing squad synchronization problem for graphs Theoretical Computer Science. ,vol. 14, pp. 39- 61 ,(1981) , 10.1016/0304-3975(81)90004-9
Robert Balzer, An 8-state minimal time solution to the firing squad synchronization problem*° Information & Computation. ,vol. 10, pp. 22- 42 ,(1967) , 10.1016/S0019-9958(67)90032-0
Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu, P systems and the Byzantine agreement The Journal of Logic and Algebraic Programming. ,vol. 79, pp. 334- 349 ,(2010) , 10.1016/J.JLAP.2010.03.004