Emergence of universal global behavior from reversible local transitions in asynchronous systems
Reversible computing usually focuses on how to establish a valid equivalence between the global reversibility and local reversibility in computational systems. Hitherto the equivalence has been precisely developed in cellular automata, combinational circuits and quantum computers, but it implicitly...
Saved in:
| Published in | Information sciences Vol. 282; pp. 38 - 56 |
|---|---|
| Main Authors | , , , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Inc
20.10.2014
|
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | Reversible computing usually focuses on how to establish a valid equivalence between the global reversibility and local reversibility in computational systems. Hitherto the equivalence has been precisely developed in cellular automata, combinational circuits and quantum computers, but it implicitly assumes that the underlying systems are synchronously timed. Alternative systems include the delay-insensitive (DI) circuits and asynchronous cellular automata (ACAs), where the local operations of each component (cell) may be executed independently at random times. Despite the randomness associated with asynchronous timings, equivalence between the global and local reversibility can be simply achieved in both DI-circuits (Morita, 2001) and ACAs (Lee et al., 2003), provided that their local operations (transitions) are thoroughly serialized. The complete exclusion of concurrency in local behavior, however, will profoundly depress the parallel processing efficiency of DI-circuits as well as the intrinsic massive parallelism of ACAs. This paper aims at exploring what kind of complex global behavior may arise from the concurrent operations that are invertible at local level. To this end, we show that DI-circuits composed of reversible elements can actually exhibit universal input and output behavior, with the universality emerging from the concurrency in reversible local operations. Likewise, by further embedding all circuits into the cellular space, the emergence of universal global transitions from reversible local transitions can be exactly identified in an ACA which, due to the bijectivity of its local function, has significantly lower complexity as compared to other models. |
|---|---|
| AbstractList | Reversible computing usually focuses on how to establish a valid equivalence between the global reversibility and local reversibility in computational systems. Hitherto the equivalence has been precisely developed in cellular automata, combinational circuits and quantum computers, but it implicitly assumes that the underlying systems are synchronously timed. Alternative systems include the delay-insensitive (DI) circuits and asynchronous cellular automata (ACAs), where the local operations of each component (cell) may be executed independently at random times. Despite the randomness associated with asynchronous timings, equivalence between the global and local reversibility can be simply achieved in both DI-circuits (Morita, 2001) and ACAs (Lee et al., 2003), provided that their local operations (transitions) are thoroughly serialized. The complete exclusion of concurrency in local behavior, however, will profoundly depress the parallel processing efficiency of DI-circuits as well as the intrinsic massive parallelism of ACAs. This paper aims at exploring what kind of complex global behavior may arise from the concurrent operations that are invertible at local level. To this end, we show that DI-circuits composed of reversible elements can actually exhibit universal input and output behavior, with the universality emerging from the concurrency in reversible local operations. Likewise, by further embedding all circuits into the cellular space, the emergence of universal global transitions from reversible local transitions can be exactly identified in an ACA which, due to the bijectivity of its local function, has significantly lower complexity as compared to other models. |
| Author | Lee, Jia Xia, Yun-Ni Zhu, Qing-Sheng Adachi, Susumu |
| Author_xml | – sequence: 1 givenname: Jia surname: Lee fullname: Lee, Jia email: lijia@cqu.edu.cn organization: College of Computer Science, Chongqing University, Chongqing, China – sequence: 2 givenname: Susumu surname: Adachi fullname: Adachi, Susumu organization: Kanazawa Institute of Technology, Ishikawa, Japan – sequence: 3 givenname: Yun-Ni surname: Xia fullname: Xia, Yun-Ni organization: College of Computer Science, Chongqing University, Chongqing, China – sequence: 4 givenname: Qing-Sheng surname: Zhu fullname: Zhu, Qing-Sheng organization: College of Computer Science, Chongqing University, Chongqing, China |
| BookMark | eNp9kD1PwzAQhi0EEm3hB7B5ZEk4O7ETxIRQ-ZAqscBsHOfSukps8KWV-u9JVWamd3g_dPfM2XmIARm7EZALEPpum_tAuQRR5qByKIszNhN1JTMt78U5mwFIyEAqdcnmRFsAKCutZ-xrOWBaY3DIY8d3we8xke35uo_NJA1u7N7HxLsUB57w6PqmR95HN9ljsoH86GMg7gO3dAhuk2KIO-J0oBEHumIXne0Jr_90wT6flx9Pr9nq_eXt6XGVuaKAMesa11Wqa9GWdaFUAdbKuhSVaOpKqFoJCYWrVaWxlVhpaNB1tm1LrVVTa9EWC3Z72v1O8WeHNJrBk8O-twGnc4zQpSxAVqCnqDhFXYpECTvznfxg08EIMEeaZmsmmuZI04AyE82p83Dq4PTD3mMy5PwRW-sTutG00f_T_gUF6IDn |
| CitedBy_id | crossref_primary_10_1016_j_tcs_2014_11_032 crossref_primary_10_1016_j_ins_2016_02_046 |
| Cites_doi | 10.1109/TIM.2006.870319 10.1038/30156 10.1142/9789812702449_0016 10.1088/0957-4484/14/4/312 10.1109/TCAD.2006.871622 10.1145/2422094.2422097 10.1109/T-C.1974.223773 10.1007/s002360050091 10.1016/j.tcs.2008.01.041 10.1103/PhysRevLett.59.10 10.1109/TNANO.2004.824034 10.1016/j.tcs.2012.07.027 10.1016/j.ins.2012.02.063 10.1038/nature00784 10.1007/978-3-540-28644-8_19 10.1016/j.tcs.2010.10.005 10.1016/S0167-739X(02)00069-9 10.1016/j.ins.2010.05.039 10.1016/0167-2789(90)90195-U 10.1109/5.362752 10.1145/1278349.1278355 10.1007/BF02084158 10.12921/cmst.2013.19.02.69-75 10.1147/rd.53.0183 10.1016/j.entcs.2007.08.018 10.1007/BF01886518 10.1016/S0304-3975(99)00099-7 10.1016/0167-2789(84)90252-5 10.1007/BF01857727 10.1016/j.ins.2011.10.017 10.1007/3-540-45132-3_6 10.1016/S0303-2647(99)00025-8 10.1103/PhysRevE.85.021309 |
| ContentType | Journal Article |
| Copyright | 2014 Elsevier Inc. |
| Copyright_xml | – notice: 2014 Elsevier Inc. |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.ins.2014.05.043 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Library & Information Science |
| EISSN | 1872-6291 |
| EndPage | 56 |
| ExternalDocumentID | 10_1016_j_ins_2014_05_043 S0020025514006033 |
| GroupedDBID | --K --M --Z -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9JO AAAKF AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AARIN AAXUO AAYFN ABAOU ABBOA ABFNM ABJNI ABMAC ABUCO ABXDB ABYKQ ACAZW ACDAQ ACGFS ACRLP ACZNC ADBBV ADEZE ADGUI ADTZH AEBSH AECPX AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ARUGR AXJTR BJAXD BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HAMUX IHE J1W JJJVA KOM LG9 LY1 M41 MHUIS MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 RIG ROL RPZ SDF SDG SDP SES SPC SPCBC SSB SSD SST SSV SSW SSZ T5K TN5 TWZ WH7 XPP ZMT ~02 ~G- 1OL 29I AAAKG AAQXK AAXKI AAYXX ABEFU ABTAH ACNNM ADJOM ADMUD ADVLN AFFNX AFJKZ AKRWK ASPBG AVWKF AZFZN CITATION FEDTE FGOYB HLZ HVGLF HZ~ H~9 R2- SBC SDS SEW UHS WUQ YYP ZY4 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c330t-fbcf75fdea4835530aa284171b8715851203c8576ed2e760becfadd4665b861d3 |
| IEDL.DBID | .~1 |
| ISSN | 0020-0255 |
| IngestDate | Thu Oct 24 23:11:51 EDT 2024 Thu Sep 26 18:04:47 EDT 2024 Fri Feb 23 02:23:15 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Global reversibility Cellular automaton Intrinsic universality Concurrency Asynchronous circuit Local reversibility |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c330t-fbcf75fdea4835530aa284171b8715851203c8576ed2e760becfadd4665b861d3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| PQID | 1642302706 |
| PQPubID | 23500 |
| PageCount | 19 |
| ParticipantIDs | proquest_miscellaneous_1642302706 crossref_primary_10_1016_j_ins_2014_05_043 elsevier_sciencedirect_doi_10_1016_j_ins_2014_05_043 |
| PublicationCentury | 2000 |
| PublicationDate | 2014-10-20 |
| PublicationDateYYYYMMDD | 2014-10-20 |
| PublicationDate_xml | – month: 10 year: 2014 text: 2014-10-20 day: 20 |
| PublicationDecade | 2010 |
| PublicationTitle | Information sciences |
| PublicationYear | 2014 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Kari (b0070) 1990; 45 Milner (b0140) 1980; vol. 92 Vasudevan, Lala, Di, Parkerson (b0220) 2006; 55 Goles, Meunierc, Rapaport, Theyssier (b0035) 2011; 412 Seck-Tuoh-Mora, Martinez, Alonso-Sanz, Hernandez-Romero (b0205) 2012; 199 Bennett (b0005) 1982; 21 Morita (b0150) 2001; 2055 Peper, Isokawa, Kouda, Matsui (b0170) 2002; 18 Morita (b0155) 2008; 395 Morita, Nishihara, Yamamoto, Zhang (b0145) 1997; 34 Lee, Imai, Zhu (b0110) 2012; 187 Gupta, Agrawal, Jha (b0040) 2006; 25 Kielpinski, Monroe, Wineland (b0085) 2002; 417 Lee, Peper, Adachi, Morita, Mashiko (b0095) 2003; 2509 Holian, Hoover, Posch (b0050) 1987; 59 Lee, Yang, Morita (b0115) 2012; 460 Hoover, Hoover (b0055) 2013; 19 Margolus (b0130) 1984; 10 Slotterback, Mailman, Ronaszegi, van Hecke, Girvan, Losert (b0215) 2012; 85 Peper, Lee, Adachi, Mashiko (b0175) 2003; 14 J. Lee, F. Peper, S. Adachi, S. Mashiko, On reversible computation in asynchronous systems, in: Quantum Information and Complexity, 2004, pp. 296–320. Lee, Peper, Adachi, Morita (b0105) 2008; 5191 Landauer (b0090) 1961; 5 J. Lee, et al. Supplementary material to this paper: video entitled mmc1.mp4. Hauck (b0045) 1995; 83 Phillips, Ulidowski (b0195) 2007; 192 Kane (b0065) 1998; 393 Ollinger (b0160) 2008 Kari (b0075) 2005; 3572 Peper, Lee, Carmona, Cortadella, Morita (b0190) 2013; 9 Patra, Fussell (b0165) 1996 Siap, Akin, Sah (b0210) 2010; 180 Fredkin, Toffoli (b0030) 1982; 21 J. Lee, et al. Supplementary material to this paper: video entitled mmc2.mp4. Frank, Knight, Margolus (b0025) 1998 Keller (b0080) 1974; C-23 Maslov, Dueck, Miller (b0135) 2007; 12 Peper, Lee, Isokawa (b0185) 2010; 5 Schönfisch, de Roos (b0200) 1999; 51 Durand-Lose (b0015) 2002 Imai, Morita (b0060) 2000; 231 V. Danos, J. Krivine, Reversible communicating systems, in: Proceedings of 15th International Conference on Concurrency Theory, CONCUR 2004, LNCS 3170, 2004, pp. 292–307. Feynman (b0020) 1986; 16 Peper, Lee, Abo, Isokawa, Adachi, Matsui, Mashiko (b0180) 2004; 3 Landauer (10.1016/j.ins.2014.05.043_b0090) 1961; 5 Patra (10.1016/j.ins.2014.05.043_b0165) 1996 Peper (10.1016/j.ins.2014.05.043_b0175) 2003; 14 Lee (10.1016/j.ins.2014.05.043_b0105) 2008; 5191 Bennett (10.1016/j.ins.2014.05.043_b0005) 1982; 21 Holian (10.1016/j.ins.2014.05.043_b0050) 1987; 59 Peper (10.1016/j.ins.2014.05.043_b0180) 2004; 3 Lee (10.1016/j.ins.2014.05.043_b0095) 2003; 2509 Margolus (10.1016/j.ins.2014.05.043_b0130) 1984; 10 Ollinger (10.1016/j.ins.2014.05.043_b0160) 2008 Imai (10.1016/j.ins.2014.05.043_b0060) 2000; 231 Frank (10.1016/j.ins.2014.05.043_b0025) 1998 Lee (10.1016/j.ins.2014.05.043_b0115) 2012; 460 10.1016/j.ins.2014.05.043_b0125 Kane (10.1016/j.ins.2014.05.043_b0065) 1998; 393 Slotterback (10.1016/j.ins.2014.05.043_b0215) 2012; 85 Hoover (10.1016/j.ins.2014.05.043_b0055) 2013; 19 Lee (10.1016/j.ins.2014.05.043_b0110) 2012; 187 Morita (10.1016/j.ins.2014.05.043_b0150) 2001; 2055 10.1016/j.ins.2014.05.043_b0100 10.1016/j.ins.2014.05.043_b0120 Morita (10.1016/j.ins.2014.05.043_b0145) 1997; 34 Peper (10.1016/j.ins.2014.05.043_b0185) 2010; 5 Durand-Lose (10.1016/j.ins.2014.05.043_b0015) 2002 Morita (10.1016/j.ins.2014.05.043_b0155) 2008; 395 Gupta (10.1016/j.ins.2014.05.043_b0040) 2006; 25 Seck-Tuoh-Mora (10.1016/j.ins.2014.05.043_b0205) 2012; 199 Feynman (10.1016/j.ins.2014.05.043_b0020) 1986; 16 Schönfisch (10.1016/j.ins.2014.05.043_b0200) 1999; 51 Kari (10.1016/j.ins.2014.05.043_b0070) 1990; 45 Maslov (10.1016/j.ins.2014.05.043_b0135) 2007; 12 Siap (10.1016/j.ins.2014.05.043_b0210) 2010; 180 Kielpinski (10.1016/j.ins.2014.05.043_b0085) 2002; 417 Peper (10.1016/j.ins.2014.05.043_b0190) 2013; 9 Keller (10.1016/j.ins.2014.05.043_b0080) 1974; C-23 Phillips (10.1016/j.ins.2014.05.043_b0195) 2007; 192 Goles (10.1016/j.ins.2014.05.043_b0035) 2011; 412 Vasudevan (10.1016/j.ins.2014.05.043_b0220) 2006; 55 Kari (10.1016/j.ins.2014.05.043_b0075) 2005; 3572 Peper (10.1016/j.ins.2014.05.043_b0170) 2002; 18 Fredkin (10.1016/j.ins.2014.05.043_b0030) 1982; 21 Hauck (10.1016/j.ins.2014.05.043_b0045) 1995; 83 Milner (10.1016/j.ins.2014.05.043_b0140) 1980; vol. 92 10.1016/j.ins.2014.05.043_b0010 |
| References_xml | – volume: 16 start-page: 507 year: 1986 end-page: 531 ident: b0020 article-title: Quantum mechanical computers publication-title: Found. Phys. contributor: fullname: Feynman – volume: 34 start-page: 389 year: 1997 end-page: 410 ident: b0145 article-title: A hierarchy of uniquely parsable grammar classes and deterministic acceptors publication-title: Acta Inf. contributor: fullname: Zhang – volume: 187 start-page: 266 year: 2012 end-page: 276 ident: b0110 article-title: Fluctuation-driven computing on number-conserving cellular automata publication-title: Inf. Sci. contributor: fullname: Zhu – year: 1998 ident: b0025 article-title: Reversibility in optimally scalable computer architectures publication-title: Proc. 1st Int. Conf. on Unconventional Models of Computation contributor: fullname: Margolus – volume: 5 start-page: 183 year: 1961 end-page: 191 ident: b0090 article-title: Irreversibility and heat generation in the computing process publication-title: IBM J. Res. Dev. contributor: fullname: Landauer – volume: 180 start-page: 3562 year: 2010 end-page: 3571 ident: b0210 article-title: Garden of eden configurations for 2-D cellular automata with rule 2460 N publication-title: Inf. Sci. contributor: fullname: Sah – volume: 55 start-page: 406 year: 2006 end-page: 414 ident: b0220 article-title: Reversible-logic design with online testability publication-title: IEEE Trans. Instrum. Meas. contributor: fullname: Parkerson – volume: 21 start-page: 905 year: 1982 end-page: 940 ident: b0005 article-title: The thermodynamics of computation—a review publication-title: Int. J. Theor. Phys. contributor: fullname: Bennett – start-page: 102 year: 2008 end-page: 118 ident: b0160 article-title: Universalities in cellular automata: a (short) survey publication-title: JAC’08 contributor: fullname: Ollinger – volume: 3572 start-page: 2 year: 2005 end-page: 23 ident: b0075 article-title: Reversible cellular automata, developments in language theory publication-title: LNCS contributor: fullname: Kari – volume: 3 start-page: 187 year: 2004 end-page: 201 ident: b0180 article-title: Fault-tolerance in nanocomputers: a cellular array approach publication-title: IEEE Trans. Nanotechnol. contributor: fullname: Mashiko – volume: 12 year: 2007 ident: b0135 article-title: Techniques for the synthesis of reversible Toffoli networks publication-title: ACM Trans. Des. Autom. Electron. Syst. contributor: fullname: Miller – volume: 21 start-page: 219 year: 1982 end-page: 253 ident: b0030 article-title: Conservative logic publication-title: Int. J. Theor. Phys. contributor: fullname: Toffoli – volume: 5191 start-page: 67 year: 2008 end-page: 76 ident: b0105 article-title: An asynchronous cellular automaton implementing 2-state 2-input 2-output reversed-twin reversible elements publication-title: ACRI 2008, LNCS contributor: fullname: Morita – volume: 5 start-page: 185 year: 2010 end-page: 206 ident: b0185 article-title: Brownian cellular automata publication-title: J. Cell. Autom. contributor: fullname: Isokawa – volume: vol. 92 year: 1980 ident: b0140 article-title: A calculus of communicating systems publication-title: LNCS contributor: fullname: Milner – volume: 199 start-page: 125 year: 2012 end-page: 132 ident: b0205 article-title: Invertible behavior in elementary cellular automata with memory publication-title: Inf. Sci. contributor: fullname: Hernandez-Romero – volume: 83 start-page: 69 year: 1995 end-page: 93 ident: b0045 article-title: Asynchronous design methodologies: an overview publication-title: Proc. IEEE contributor: fullname: Hauck – volume: 231 start-page: 181 year: 2000 end-page: 191 ident: b0060 article-title: A computation-universal two-dimensional 8-state triangular reversible cellular automaton publication-title: Theor. Comput. Sci. contributor: fullname: Morita – volume: 417 start-page: 709 year: 2002 end-page: 711 ident: b0085 article-title: Architecture for a large-scale ion-trap quantum computer publication-title: Nature contributor: fullname: Wineland – volume: 19 start-page: 69 year: 2013 end-page: 75 ident: b0055 article-title: Time’s arrow for shockwaves; bit-reversible Lyapunov and covariant vectors; symmetry breaking publication-title: Comput. Methods Sci. Technol. contributor: fullname: Hoover – volume: 460 start-page: 78 year: 2012 end-page: 88 ident: b0115 article-title: Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements publication-title: Theor. Comput. Sci. contributor: fullname: Morita – volume: 10 start-page: 81 year: 1984 end-page: 95 ident: b0130 article-title: Physics-like models of computation publication-title: Physica D contributor: fullname: Margolus – volume: 412 start-page: 2 year: 2011 end-page: 21 ident: b0035 article-title: Communication complexity and intrinsic universality in cellular automata publication-title: Theor. Comput. Sci. contributor: fullname: Theyssier – start-page: 135 year: 2002 end-page: 160 ident: b0015 article-title: Computing inside the billiard ball model publication-title: Collision-Based Computing contributor: fullname: Durand-Lose – volume: 393 start-page: 133 year: 1998 end-page: 137 ident: b0065 article-title: A silicon-based nuclear spin quantum computer publication-title: Nature contributor: fullname: Kane – volume: 51 start-page: 123 year: 1999 end-page: 143 ident: b0200 article-title: Synchronous and asynchronous updating in cellular automata publication-title: BioSystems contributor: fullname: de Roos – start-page: 248 year: 1996 end-page: 259 ident: b0165 article-title: Conservative delay-insensitive circuits publication-title: Workshop Phys. Comput. contributor: fullname: Fussell – volume: 9 start-page: 3:1 year: 2013 end-page: 3:24 ident: b0190 article-title: Brownian citcuits: fundamentals publication-title: ACM J. Emerg. Technol. Comput. Syst. contributor: fullname: Morita – volume: 395 start-page: 101 year: 2008 end-page: 131 ident: b0155 article-title: Reversible computing and cellular automata — a survey publication-title: Theor. Comput. Sci. contributor: fullname: Morita – volume: 45 start-page: 379 year: 1990 end-page: 385 ident: b0070 article-title: Reversibility of 2D cellular automata is undecidable publication-title: Physica D contributor: fullname: Kari – volume: 192 start-page: 93 year: 2007 end-page: 108 ident: b0195 article-title: Reversibility and models for concurrency publication-title: Electron. Notes Theor. Comput. Sci. contributor: fullname: Ulidowski – volume: 85 start-page: 021309 year: 2012 ident: b0215 article-title: Onset of irreversibility in cyclic shear of granular packings publication-title: Phys. Rev. E contributor: fullname: Losert – volume: 25 start-page: 2317 year: 2006 end-page: 2330 ident: b0040 article-title: An algorithm for synthesis of reversible logic circuits publication-title: IEEE Trans. CAD contributor: fullname: Jha – volume: 59 start-page: 10 year: 1987 end-page: 13 ident: b0050 article-title: Resolution of Loschmidt’s Paradox: the origin of irreversible behavior in reversible atomistic dynamics publication-title: Phys. Rev. Lett. contributor: fullname: Posch – volume: C-23 start-page: 21 year: 1974 end-page: 33 ident: b0080 article-title: Towards a theory of universal speed-independent modules publication-title: IEEE Trans. Comput. contributor: fullname: Keller – volume: 18 start-page: 893 year: 2002 end-page: 904 ident: b0170 article-title: Self-timed cellular automata and their computational ability publication-title: Future Gener. Comput. Syst. contributor: fullname: Matsui – volume: 2509 start-page: 220 year: 2003 end-page: 229 ident: b0095 article-title: Reversible computation in asynchronous cellular automata, UMC2002 publication-title: LNCS contributor: fullname: Mashiko – volume: 2055 start-page: 102 year: 2001 end-page: 113 ident: b0150 article-title: A simple universal logic element and cellular automata for reversible computing publication-title: Proc. 3rd Int. Conference on Machines, Computations, and Universality, Chisinau, LNCS contributor: fullname: Morita – volume: 14 start-page: 469 year: 2003 end-page: 485 ident: b0175 article-title: Laying out circuits on asynchronous cellular arrays: a step towards feasible nanocomputers? publication-title: Nanotechnology contributor: fullname: Mashiko – volume: 55 start-page: 406 issue: 2 year: 2006 ident: 10.1016/j.ins.2014.05.043_b0220 article-title: Reversible-logic design with online testability publication-title: IEEE Trans. Instrum. Meas. doi: 10.1109/TIM.2006.870319 contributor: fullname: Vasudevan – volume: 393 start-page: 133 year: 1998 ident: 10.1016/j.ins.2014.05.043_b0065 article-title: A silicon-based nuclear spin quantum computer publication-title: Nature doi: 10.1038/30156 contributor: fullname: Kane – ident: 10.1016/j.ins.2014.05.043_b0100 doi: 10.1142/9789812702449_0016 – volume: vol. 92 year: 1980 ident: 10.1016/j.ins.2014.05.043_b0140 article-title: A calculus of communicating systems contributor: fullname: Milner – volume: 14 start-page: 469 issue: 4 year: 2003 ident: 10.1016/j.ins.2014.05.043_b0175 article-title: Laying out circuits on asynchronous cellular arrays: a step towards feasible nanocomputers? publication-title: Nanotechnology doi: 10.1088/0957-4484/14/4/312 contributor: fullname: Peper – volume: 25 start-page: 2317 issue: 11 year: 2006 ident: 10.1016/j.ins.2014.05.043_b0040 article-title: An algorithm for synthesis of reversible logic circuits publication-title: IEEE Trans. CAD doi: 10.1109/TCAD.2006.871622 contributor: fullname: Gupta – volume: 9 start-page: 3:1 issue: 1 year: 2013 ident: 10.1016/j.ins.2014.05.043_b0190 article-title: Brownian citcuits: fundamentals publication-title: ACM J. Emerg. Technol. Comput. Syst. doi: 10.1145/2422094.2422097 contributor: fullname: Peper – volume: C-23 start-page: 21 issue: 1 year: 1974 ident: 10.1016/j.ins.2014.05.043_b0080 article-title: Towards a theory of universal speed-independent modules publication-title: IEEE Trans. Comput. doi: 10.1109/T-C.1974.223773 contributor: fullname: Keller – volume: 34 start-page: 389 year: 1997 ident: 10.1016/j.ins.2014.05.043_b0145 article-title: A hierarchy of uniquely parsable grammar classes and deterministic acceptors publication-title: Acta Inf. doi: 10.1007/s002360050091 contributor: fullname: Morita – volume: 395 start-page: 101 issue: 1 year: 2008 ident: 10.1016/j.ins.2014.05.043_b0155 article-title: Reversible computing and cellular automata — a survey publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2008.01.041 contributor: fullname: Morita – volume: 59 start-page: 10 year: 1987 ident: 10.1016/j.ins.2014.05.043_b0050 article-title: Resolution of Loschmidt’s Paradox: the origin of irreversible behavior in reversible atomistic dynamics publication-title: Phys. Rev. Lett. doi: 10.1103/PhysRevLett.59.10 contributor: fullname: Holian – volume: 5191 start-page: 67 year: 2008 ident: 10.1016/j.ins.2014.05.043_b0105 article-title: An asynchronous cellular automaton implementing 2-state 2-input 2-output reversed-twin reversible elements publication-title: ACRI 2008, LNCS contributor: fullname: Lee – volume: 3 start-page: 187 issue: 1 year: 2004 ident: 10.1016/j.ins.2014.05.043_b0180 article-title: Fault-tolerance in nanocomputers: a cellular array approach publication-title: IEEE Trans. Nanotechnol. doi: 10.1109/TNANO.2004.824034 contributor: fullname: Peper – start-page: 135 year: 2002 ident: 10.1016/j.ins.2014.05.043_b0015 article-title: Computing inside the billiard ball model contributor: fullname: Durand-Lose – volume: 2509 start-page: 220 year: 2003 ident: 10.1016/j.ins.2014.05.043_b0095 article-title: Reversible computation in asynchronous cellular automata, UMC2002 publication-title: LNCS contributor: fullname: Lee – volume: 460 start-page: 78 year: 2012 ident: 10.1016/j.ins.2014.05.043_b0115 article-title: Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2012.07.027 contributor: fullname: Lee – start-page: 248 year: 1996 ident: 10.1016/j.ins.2014.05.043_b0165 article-title: Conservative delay-insensitive circuits publication-title: Workshop Phys. Comput. contributor: fullname: Patra – year: 1998 ident: 10.1016/j.ins.2014.05.043_b0025 article-title: Reversibility in optimally scalable computer architectures contributor: fullname: Frank – volume: 199 start-page: 125 year: 2012 ident: 10.1016/j.ins.2014.05.043_b0205 article-title: Invertible behavior in elementary cellular automata with memory publication-title: Inf. Sci. doi: 10.1016/j.ins.2012.02.063 contributor: fullname: Seck-Tuoh-Mora – start-page: 102 year: 2008 ident: 10.1016/j.ins.2014.05.043_b0160 article-title: Universalities in cellular automata: a (short) survey contributor: fullname: Ollinger – volume: 417 start-page: 709 year: 2002 ident: 10.1016/j.ins.2014.05.043_b0085 article-title: Architecture for a large-scale ion-trap quantum computer publication-title: Nature doi: 10.1038/nature00784 contributor: fullname: Kielpinski – ident: 10.1016/j.ins.2014.05.043_b0010 doi: 10.1007/978-3-540-28644-8_19 – volume: 3572 start-page: 2 year: 2005 ident: 10.1016/j.ins.2014.05.043_b0075 article-title: Reversible cellular automata, developments in language theory publication-title: LNCS contributor: fullname: Kari – ident: 10.1016/j.ins.2014.05.043_b0125 – volume: 412 start-page: 2 year: 2011 ident: 10.1016/j.ins.2014.05.043_b0035 article-title: Communication complexity and intrinsic universality in cellular automata publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2010.10.005 contributor: fullname: Goles – volume: 18 start-page: 893 year: 2002 ident: 10.1016/j.ins.2014.05.043_b0170 article-title: Self-timed cellular automata and their computational ability publication-title: Future Gener. Comput. Syst. doi: 10.1016/S0167-739X(02)00069-9 contributor: fullname: Peper – volume: 180 start-page: 3562 year: 2010 ident: 10.1016/j.ins.2014.05.043_b0210 article-title: Garden of eden configurations for 2-D cellular automata with rule 2460 N publication-title: Inf. Sci. doi: 10.1016/j.ins.2010.05.039 contributor: fullname: Siap – volume: 45 start-page: 379 year: 1990 ident: 10.1016/j.ins.2014.05.043_b0070 article-title: Reversibility of 2D cellular automata is undecidable publication-title: Physica D doi: 10.1016/0167-2789(90)90195-U contributor: fullname: Kari – volume: 83 start-page: 69 issue: 1 year: 1995 ident: 10.1016/j.ins.2014.05.043_b0045 article-title: Asynchronous design methodologies: an overview publication-title: Proc. IEEE doi: 10.1109/5.362752 contributor: fullname: Hauck – volume: 12 issue: 4 year: 2007 ident: 10.1016/j.ins.2014.05.043_b0135 article-title: Techniques for the synthesis of reversible Toffoli networks publication-title: ACM Trans. Des. Autom. Electron. Syst. doi: 10.1145/1278349.1278355 contributor: fullname: Maslov – volume: 21 start-page: 905 issue: 12 year: 1982 ident: 10.1016/j.ins.2014.05.043_b0005 article-title: The thermodynamics of computation—a review publication-title: Int. J. Theor. Phys. doi: 10.1007/BF02084158 contributor: fullname: Bennett – volume: 19 start-page: 69 issue: 2 year: 2013 ident: 10.1016/j.ins.2014.05.043_b0055 article-title: Time’s arrow for shockwaves; bit-reversible Lyapunov and covariant vectors; symmetry breaking publication-title: Comput. Methods Sci. Technol. doi: 10.12921/cmst.2013.19.02.69-75 contributor: fullname: Hoover – volume: 5 start-page: 183 year: 1961 ident: 10.1016/j.ins.2014.05.043_b0090 article-title: Irreversibility and heat generation in the computing process publication-title: IBM J. Res. Dev. doi: 10.1147/rd.53.0183 contributor: fullname: Landauer – volume: 192 start-page: 93 year: 2007 ident: 10.1016/j.ins.2014.05.043_b0195 article-title: Reversibility and models for concurrency publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2007.08.018 contributor: fullname: Phillips – volume: 16 start-page: 507 issue: 6 year: 1986 ident: 10.1016/j.ins.2014.05.043_b0020 article-title: Quantum mechanical computers publication-title: Found. Phys. doi: 10.1007/BF01886518 contributor: fullname: Feynman – volume: 231 start-page: 181 year: 2000 ident: 10.1016/j.ins.2014.05.043_b0060 article-title: A computation-universal two-dimensional 8-state triangular reversible cellular automaton publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(99)00099-7 contributor: fullname: Imai – volume: 10 start-page: 81 year: 1984 ident: 10.1016/j.ins.2014.05.043_b0130 article-title: Physics-like models of computation publication-title: Physica D doi: 10.1016/0167-2789(84)90252-5 contributor: fullname: Margolus – volume: 21 start-page: 219 issue: 3–4 year: 1982 ident: 10.1016/j.ins.2014.05.043_b0030 article-title: Conservative logic publication-title: Int. J. Theor. Phys. doi: 10.1007/BF01857727 contributor: fullname: Fredkin – volume: 187 start-page: 266 year: 2012 ident: 10.1016/j.ins.2014.05.043_b0110 article-title: Fluctuation-driven computing on number-conserving cellular automata publication-title: Inf. Sci. doi: 10.1016/j.ins.2011.10.017 contributor: fullname: Lee – ident: 10.1016/j.ins.2014.05.043_b0120 – volume: 2055 start-page: 102 year: 2001 ident: 10.1016/j.ins.2014.05.043_b0150 article-title: A simple universal logic element and cellular automata for reversible computing publication-title: Proc. 3rd Int. Conference on Machines, Computations, and Universality, Chisinau, LNCS doi: 10.1007/3-540-45132-3_6 contributor: fullname: Morita – volume: 51 start-page: 123 year: 1999 ident: 10.1016/j.ins.2014.05.043_b0200 article-title: Synchronous and asynchronous updating in cellular automata publication-title: BioSystems doi: 10.1016/S0303-2647(99)00025-8 contributor: fullname: Schönfisch – volume: 85 start-page: 021309 year: 2012 ident: 10.1016/j.ins.2014.05.043_b0215 article-title: Onset of irreversibility in cyclic shear of granular packings publication-title: Phys. Rev. E doi: 10.1103/PhysRevE.85.021309 contributor: fullname: Slotterback – volume: 5 start-page: 185 issue: 3 year: 2010 ident: 10.1016/j.ins.2014.05.043_b0185 article-title: Brownian cellular automata publication-title: J. Cell. Autom. contributor: fullname: Peper |
| SSID | ssj0004766 |
| Score | 2.1884682 |
| Snippet | Reversible computing usually focuses on how to establish a valid equivalence between the global reversibility and local reversibility in computational systems.... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Publisher |
| StartPage | 38 |
| SubjectTerms | Asynchronous circuit Cellular automata Cellular automaton Circuits Computation Concurrency Emergence Equivalence Global reversibility Intrinsic universality Local reversibility Mathematical analysis Quantum computers |
| Title | Emergence of universal global behavior from reversible local transitions in asynchronous systems |
| URI | https://dx.doi.org/10.1016/j.ins.2014.05.043 https://search.proquest.com/docview/1642302706 |
| Volume | 282 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NS8NAEF1KvehBtCpWbVlBPAixm2SzaY-ltFTFniz0tu4mG4hIWtr04MXf7sxmgx-gB48JyRJmZmfmZWbeEnIFWk4iHQJMBXPAv1UDT6cD7kHmAGBCJGli2fkfZ2I65_eLaNEgo3oWBtsqne-vfLr11u5Oz0mzt8pznPENbEYMEIEJFiLjJ4fwBzZ9-_7Z5sHjql6JMAmfriubtscrL5Cx2-eWvJOHv8WmH17ahp7JAdl3OSMdVp91SBqmaJG9L0yCLdJx8wf0mroBIxQ4dTv3iDyP3ZilocuMbqtuDFiz4gOh9bA-xWkTiqxOa9gqr4baUEdLDGhVbxfNC6o2b0WCpLrL7YZWVNCbYzKfjJ9GU88druAlYchKL9NJFkdZahQoCM8OUgoilR_7GiAU1goDFiZ9QCMmDUwsGOg6A1_IhYh0X_hpeEKaxbIwp4T2hRY85REH38BZCgsof6CDUGWRSnyt2uSmFqtcVRwasm4ue5GgA4k6kCySoIM24bXg5TdDkODj_3rtslaShA2CVQ9VGBCDBDwYYHGWibP_LX1OdvEKA1bALkizXG9NBzKRUnetqXXJzvDuYTr7AGkV3fg |
| link.rule.ids | 315,783,787,4509,24128,27936,27937,45597,45691 |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLYGHIAD4ilegyAhDkhlaZNm2xFNTON5Amm3kLSpNIS6aesOXPjt2G0qHhIcuPYRVbbz2a7tLwCnqOUktgLTVDQH-lvVDWzalQFGDphMqCRNSnb--wc1eJI3w3jYgF49C0NtlR77K0wv0dpfaXlptiajEc34RmVEjCkCV1yIBViSFB-jUV-8f_Z5yHZVsKQ8iR6vS5tlk9coJ8ruUJbsnVL85px-wHTpe_rrsOaDRnZZfdcGNFy-CatfqAQ3oekHENgZ8xNGJHHmt-4WPF_5OUvHxhmbV-0YuGZFCMLqaX1G4yaMaJ2muFdeHSt9HSvIo1XNXWyUMzN7yxNi1R3PZ6zigp5tw1P_6rE3CPzpCkEiBC-CzCZZO85SZ1BDdHiQMeiqwnZoMYeiYmHERdLBdMSlkWsrjsrOEAylUrHtqDAVO7CYj3O3C6yjrJKpjCWCg-QpLmDCro2EyWKThNbswXktVj2pSDR03V32olEHmnSgeaxRB3sga8Hrb5agEeT_eu2kVpLGHUJlD5M7FIPGhDCi6ixX-_9b-hiWB4_3d_ru-uH2AFboDnmviB_CYjGduyaGJYU9Ks3uA7Hb35E |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Emergence+of+universal+global+behavior+from+reversible+local+transitions+in+asynchronous+systems&rft.jtitle=Information+sciences&rft.au=Lee%2C+Jia&rft.au=Adachi%2C+Susumu&rft.au=Xia%2C+Yun-Ni&rft.au=Zhu%2C+Qing-Sheng&rft.date=2014-10-20&rft.pub=Elsevier+Inc&rft.issn=0020-0255&rft.eissn=1872-6291&rft.volume=282&rft.spage=38&rft.epage=56&rft_id=info:doi/10.1016%2Fj.ins.2014.05.043&rft.externalDocID=S0020025514006033 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-0255&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-0255&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-0255&client=summon |