{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:41Z","timestamp":1725663281041},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514985"},{"type":"electronic","value":"9783540481805"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51498-8_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:01:43Z","timestamp":1330203703000},"page":"25-34","source":"Crossref","is-referenced-by-count":0,"title":["Interpretations of synchronous flowchart schemes"],"prefix":"10.1007","author":[{"given":"Mikl\u00f3s","family":"Bartha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1051\/ita\/1978120302351","volume":"12","author":"A. Arnold","year":"1978","unstructured":"A. Arnold and M. Dauchet, Th\u00e9orie des magmo\u00efdes, RAIRO Inform. Th\u00e9or.\n12 (1978), 235\u2013257 and 13 (1979), 135\u2013154.","journal-title":"RAIRO Inform. Th\u00e9or."},{"key":"3_CR2","first-page":"203","volume":"2","author":"M. Bartha","year":"1987","unstructured":"M. Bartha, A finite axiomatization of flowchart schemes, Acta Cybernet.\n2 (1987), 203\u2013217.","journal-title":"Acta Cybernet."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0304-3975(87)90104-6","volume":"55","author":"M. Bartha","year":"1987","unstructured":"M. Bartha, An equational axiomatization of systolic systems, Theoret. Comput. Sci.\n55 (1987), 265\u2013289.","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR4","unstructured":"M. Bartha, Connections between feedback and iteration theories, submitted for publication."},{"key":"3_CR5","unstructured":"M. Bartha, Towards a mathematical theory of synchronous logical circuits and systolic networks, submitted for publication."},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/3-540-10828-9_58","volume":"112","author":"J. Bilstein","year":"1981","unstructured":"J. Bilstein and W. Damm, Top down tree transducers for infinite trees, Proceedings, 6th Colloquium on Trees in Algebra and Programming (CAAP'81), Lecture Notes in Computer Science\n112 (1981), 117\u2013134.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0022-0000(85)90059-5","volume":"31","author":"S. L. Bloom","year":"1985","unstructured":"S. L. Bloom and Z. 'Esik, Axiomatizing schemes and their behaviors, J. Comput. System Sci.\n31 (1985), 375\u2013393.","journal-title":"J. Comput. System Sci."},{"key":"3_CR8","unstructured":"M. Dauchet, Transductions de for\u00eats \u2014 Bimorphismes de magmo\u00efdes, Th\u00e8se d'Etat, Universit\u00e9 de Lille, 1977."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/BF01704020","volume":"9","author":"J. Engelfriet","year":"1975","unstructured":"J. Engelfriet, Bottom up and top down tree transformations, a comparison, Math. Systems Theory\n9 (1975), 198\u2013231.","journal-title":"Math. Systems Theory"},{"key":"3_CR10","unstructured":"F. G\u00e9cseg and I. Pe\u00e1k, Algebraic Theory of Automata, Akad\u00e9miai Kiad\u00f3, Budapest, 1972."},{"key":"3_CR11","first-page":"41","volume":"1","author":"C. E. Leiserson","year":"1983","unstructured":"C. E. Leiserson and J. B. Saxe, Optimizing synchronous systems, J. VLSI Comput. Systems\n1 (1983), 41\u201367.","journal-title":"J. VLSI Comput. Systems"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"J. B. Wright, J. W. Thatcher, E. G. Wagner, and J. A. Goguen, Rational algebraic theories and fixed-point solutions, in \u201cProceedings, 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas, 1976,\u201d pp. 147\u2013158.","DOI":"10.1109\/SFCS.1976.24"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51498-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:03:36Z","timestamp":1619571816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51498-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514985","9783540481805"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-51498-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}