{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:05:52Z","timestamp":1758265552572},"reference-count":57,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1978,10,1]],"date-time":"1978-10-01T00:00:00Z","timestamp":276048000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":12708,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1978,10]]},"DOI":"10.1016\/0022-0000(78)90003-x","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T12:01:00Z","timestamp":1070539260000},"page":"176-193","source":"Crossref","is-referenced-by-count":15,"title":["(A-)synchronous (non-)deterministic cell spaces simulating each other"],"prefix":"10.1016","volume":"17","author":[{"given":"Ulrich","family":"Golze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0022-0000(78)90003-X_BIB1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0025-5564(74)90088-1","article-title":"Survey of research in the theory of homogeneous structures and their applications","volume":"22","author":"Aladyev","year":"1974","journal-title":"Math. Biosci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/S0022-0000(75)80015-8","article-title":"Some clarifications of the concept of a Garden-of-Eden configuration","volume":"10","author":"Amoroso","year":"1975","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB3","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1016\/S0022-0000(76)80024-4","article-title":"Indecomposable parallel maps in tessellation structures","volume":"13","author":"Amoroso","year":"1976","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB4","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1016\/S0022-0000(72)80013-8","article-title":"Decision procedure for surjectivity and injectivity of parallel maps for tessellation structures","volume":"6","author":"Amoroso","year":"1972","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB5","series-title":"Information Processing and Transmission in Cellular Automata","author":"Banks","year":"1971"},{"key":"10.1016\/0022-0000(78)90003-X_BIB6","series-title":"Essays on Cellular Automata","year":"1970"},{"key":"10.1016\/0022-0000(78)90003-X_BIB7","doi-asserted-by":"crossref","unstructured":"H. G. Carstens and U. Golze, Recursive paths in cross-connected trees and an application to cell spaces, Math. Systems Theory, to appear.","DOI":"10.1007\/BF01786971"},{"key":"10.1016\/0022-0000(78)90003-X_BIB8","series-title":"Cellular Automata","author":"Cord","year":"1968"},{"key":"10.1016\/0022-0000(78)90003-X_BIB9","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1109\/T-C.1969.222663","article-title":"Real-time computation by n-dimensional iterative arrays of finite-state machines","volume":"C-18","author":"Cole","year":"1969","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0022-0000(78)90003-X_BIB10","first-page":"58","article-title":"Destruction and total self-reproduction of universal computers in Codd's cellular space","volume":"1","author":"Golze","year":"1975","journal-title":"Progr. Cybernetics Systems Res."},{"key":"10.1016\/0022-0000(78)90003-X_BIB11","series-title":"Automata, Languages, Development","first-page":"369","article-title":"Differences between 1- and 2-dimensional cell spaces","author":"Golze","year":"1976"},{"key":"10.1016\/0022-0000(78)90003-X_BIB12","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0022-0000(75)80066-3","article-title":"Fault tolerant cellular automata","volume":"11","author":"Harao","year":"1975","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB13","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/S0022-0000(75)80065-1","article-title":"Fault tolerant cellular spaces","volume":"11","author":"Nishio","year":"1975","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB14","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/S0022-0000(72)80009-6","article-title":"Tessellations with local transformations","volume":"6","author":"Richardson","year":"1972","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB15","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/S0022-0000(76)80014-1","article-title":"Continuous self-reproduction","volume":"12","author":"Richardson","year":"1976","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB16","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1016\/S0019-9958(71)90501-8","article-title":"Cellular automata complexity trade-offs","volume":"18","author":"Smith","year":"1971","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB17","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/S0022-0000(72)80004-7","article-title":"Real-time language recognition by one-dimensional cellular automata","volume":"6","author":"Smith","year":"1972","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB18","series-title":"Essays on Cellular Automata","first-page":"132","article-title":"Universality in the von Neumann cellular model","author":"Thatcher","year":"1970"},{"key":"10.1016\/0022-0000(78)90003-X_BIB19","series-title":"The Theory of Self-Reproducing Automata","article-title":"Theory of automata: Construction, reproduction, homogeneity","author":"Von Neumann","year":"1966"},{"key":"10.1016\/0022-0000(78)90003-X_BIB20","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1016\/S0022-0000(73)80004-2","article-title":"The constructibility of a configuration in a cellular automaton","volume":"7","author":"Yaku","year":"1973","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-0000(76)80013-X","article-title":"Surjectivity of nondeterministic parallel maps induced by nondeterministic cellular automata","volume":"12","author":"Yaku","year":"1976","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB22","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0019-9958(69)90090-4","article-title":"Tessellation automata","volume":"14","author":"Yamada","year":"1969","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0019-9958(71)90281-6","article-title":"Structural and behavioral equivalences of tessellation automata","volume":"18","author":"Yamada","year":"1971","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB24","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","article-title":"Marked directed graphs","volume":"5","author":"Commoner","year":"1971","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB25","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00264027","article-title":"Synchronisationsgraphen","volume":"2","author":"Genrich","year":"1973","journal-title":"Acta Inform."},{"key":"10.1016\/0022-0000(78)90003-X_BIB26","unstructured":"U. Golze, Lokale and globale Synchronisation, Elektronische Informationsverarbeitung and Kybernetik, to appear."},{"key":"10.1016\/0022-0000(78)90003-X_BIB27","series-title":"Petri net implementations by a universal cell space","author":"Golze","year":"1978"},{"key":"10.1016\/0022-0000(78)90003-X_BIB28","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0019-9958(75)90255-7","article-title":"Synchronization of cellular arrays: The firing squad problem in two dimensions","volume":"28","author":"Grasselli","year":"1975","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB29_1","series-title":"MAC-TR 94, Project MAC, M.I.T.","article-title":"Analysis of Production Schemata by Petri Nets","author":"Hack","year":"1972"},{"key":"10.1016\/0022-0000(78)90003-X_BIB29_2","article-title":"Corrections to \u2018Analysis of Production Schemata by Petri Nets\u2019","author":"Hack","year":"1974"},{"key":"10.1016\/0022-0000(78)90003-X_BIB30","article-title":"Petri Net Languages","author":"Hack","year":"1975"},{"key":"10.1016\/0022-0000(78)90003-X_BIB31","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0019-9958(74)90833-X","article-title":"Synchronization of growing cellular arrays","volume":"25","author":"Herman","year":"1974","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB32","doi-asserted-by":"crossref","first-page":"1390","DOI":"10.1137\/0114108","article-title":"Properties of a model for parallel computations: Determinacy, termination, queuing","volume":"14","author":"Karp","year":"1966","journal-title":"SIAM J. Appl. Math."},{"key":"10.1016\/0022-0000(78)90003-X_BIB33","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","article-title":"Parallel program schemata","volume":"3","author":"Karp","year":"1969","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB34","series-title":"Proceedings of the Third Annual Sagamore Conference on Parallel Computation","first-page":"102","article-title":"A fundamental theorem of asynchronous parallel computation","author":"Keller","year":"1974"},{"key":"10.1016\/0022-0000(78)90003-X_BIB35","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0019-9958(77)90273-X","article-title":"The firing squad synchronization problem for two-dimensional arrays","volume":"34","author":"Kobayashi","year":"1977","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB36","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0022-0000(77)80040-8","article-title":"Synchronization and computing capabilities of linear asynchronous structures","volume":"14","author":"Lipton","year":"1977","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB37","article-title":"Asynchronous switching networks","volume":"Vol. II","author":"Miller","year":"1965"},{"key":"10.1016\/0022-0000(78)90003-X_BIB38","series-title":"Sequential Machines","first-page":"213","article-title":"The firing squad synchronization problem","author":"Moore","year":"1964"},{"key":"10.1016\/0022-0000(78)90003-X_BIB39","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1016\/S0019-9958(68)90309-4","article-title":"A generalized firing squad problem","volume":"12","author":"Moore","year":"1968","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB40","article-title":"Flow Chart Methods for the Logical Design of an Asynchronous Control","author":"Muller","year":"1959"},{"key":"10.1016\/0022-0000(78)90003-X_BIB41","series-title":"Switching Theory in Space Technology","first-page":"259","article-title":"Asynchronous logics and application to information processing","author":"Muller","year":"1963"},{"key":"10.1016\/0022-0000(78)90003-X_BIB42","first-page":"58","article-title":"Asynchronous cellular automata and their computational ability","volume":"5","author":"Nakamura","year":"1974","journal-title":"Syst. Comput. Controls"},{"key":"10.1016\/0022-0000(78)90003-X_BIB43","article-title":"Coordination of Asynchronous Events","author":"Patil","year":"1970"},{"key":"10.1016\/0022-0000(78)90003-X_BIB44","article-title":"Kommunikation mit Automates","author":"Petri","year":"1962"},{"key":"10.1016\/0022-0000(78)90003-X_BIB45","series-title":"Proc. Parallelismus in der Informatik","first-page":"57","article-title":"Nicht-sequentielle Prozesse","author":"Petri","year":"1976"},{"key":"10.1016\/0022-0000(78)90003-X_BIB46","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0022-0000(78)90007-7","article-title":"A note on asynchronous cellular automata","volume":"17","author":"Priese","year":"1978","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB47","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0020-0255(76)90938-5","article-title":"Cellular automata synchronization","volume":"10","author":"Romani","year":"1976","journal-title":"Inform. Sci."},{"key":"10.1016\/0022-0000(78)90003-X_BIB48","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1145\/321738.321750","article-title":"Tree-manipulating systems and Church-Rosser theorems","volume":"20","author":"Rosen","year":"1973","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(78)90003-X_BIB49","series-title":"Graph Theory and Computing","first-page":"219","article-title":"Intelligent graphs: Networks of finite automata capable of solving graph problems","author":"Rosenstiehl","year":"1972"},{"key":"10.1016\/0022-0000(78)90003-X_BIB50","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0019-9958(74)80055-0","article-title":"Two- and three-dimensional firing-squad synchronization problems","volume":"24","author":"Shinahr","year":"1974","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB51","series-title":"Mathematical Logic","author":"Shoenfield","year":"1967"},{"key":"10.1016\/0022-0000(78)90003-X_BIB52","series-title":"On the Large-scale Implementation of Cellular Spaces by Means of Integrated Circuit Arrays","author":"Toffoli","year":"1972"},{"key":"10.1016\/0022-0000(78)90003-X_BIB53","first-page":"293","article-title":"On two modified problems of synchronization in cellular automata","volume":"3","author":"Vollmar","year":"1977","journal-title":"Acta Cyhernet."},{"key":"10.1016\/0022-0000(78)90003-X_BIB54","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/S0019-9958(66)90110-0","article-title":"An optimum solution to the firing squad synchronization problem","volume":"9","author":"Waksman","year":"1966","journal-title":"Inform. and Contr."},{"key":"10.1016\/0022-0000(78)90003-X_BIB55","series-title":"Proc. International Symposium on Uniformly Structured Automata and Logic","first-page":"119","article-title":"Recursive structure of configuration transition relation of asynchronous cellular automaton and its Garden of Eden problem","author":"Yanase","year":"1975"},{"key":"10.1016\/0022-0000(78)90003-X_BIB56","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/321724.321737","article-title":"Towards a formal theory of modeling and simulation: Structure preserving morphisms","volume":"19","author":"Zeigler","year":"1972","journal-title":"J. Assoc. Comput. Mach."}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002200007890003X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002200007890003X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:28:31Z","timestamp":1550323711000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002200007890003X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,10]]},"references-count":57,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1978,10]]}},"alternative-id":["002200007890003X"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(78)90003-x","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1978,10]]}}}