{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T18:18:24Z","timestamp":1758824304474},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654612"},{"type":"electronic","value":"9783540492542"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49254-2_6","type":"book-chapter","created":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T06:12:19Z","timestamp":1196489539000},"page":"184-235","source":"Crossref","is-referenced-by-count":2,"title":["Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms"],"prefix":"10.1007","author":[{"given":"M. J.","family":"Poole","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V.","family":"Holden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0960-0779(95)00089-5","volume":"7","author":"R. R. Aliev","year":"1996","unstructured":"R R Aliev and A V Panfilov. A simple two-variable model of cardiac excitation. Chaos, Solitons and Fractals, 7:293\u2013301, 1996.","journal-title":"Chaos, Solitons and Fractals"},{"issue":"1-2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0167-6423(96)00035-4","volume":"29","author":"J. A. Bergstra","year":"1997","unstructured":"J A Bergstra, J A Hillebrand, and A Ponse. Grid protocols based on synchronous communication. Science of Computer Programming, 29(1-2):199\u2013233, 1997.","journal-title":"Science of Computer Programming"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0168-0072(96)00017-6","volume":"83","author":"J. Blanck","year":"1997","unstructured":"J Blanck. Domain representability of metric spaces. Annals of Pure and Applied Logic, 83:225\u2013247, 1997.","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"J A Bergstra and A Ponse. Grid protocol specifications. 1999. In this volume.","DOI":"10.1007\/3-540-49254-2_8"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/S0019-9958(82)80021-1","volume":"54","author":"J. A. Bergstra","year":"1982","unstructured":"J A Bergstra and J V Tucker. The completeness of the algebraic specification methods for computable data types. Information and Control, 54:186\u2013200, 1982.","journal-title":"Information and Control"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"S M Eker, V Stavridou, and J V Tucker. Verification of synchronous concurrent algorithms using OBJ3. A case study of the pixel planes architecture. In Proceedings of a Workshop on Designing Correct Circuits. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4471-3544-9_13"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"A C J Fox and N A Harman. Algebraic models of superscalar microprocessor implementations: A case study. 1999. In this volume.","DOI":"10.1007\/3-540-49254-2_5"},{"key":"6_CR8","unstructured":"A C J Fox. Algebraic Models for Advanced Microprocessors. PhD thesis, Department of Computer Science, University of Wales Swansea, 1998."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"R L Grossman, A Nerode, A P Ravn, and H Rischel, editors. Hybrid systems. Lecture Notes in Computer Science 736. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1016\/0960-0779(93)E0051-C","volume":"5","author":"A. V. Holden","year":"1995","unstructured":"A V Holden, M J Poole, and J V Tucker. Reconstructing the heart. Chaos, Solitons and Fractals, 5:691\u2013704, 1995.","journal-title":"Chaos, Solitons and Fractals"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"1623","DOI":"10.1142\/S0218127496000989","volume":"6","author":"A. V. Holden","year":"1996","unstructured":"A V Holden, M J Poole, and J V Tucker. An algorithmic model of the mammalian heart: propagation, vulnerability, re-entry and fibrillation. International Journal of Bifurcation and Chaos, 6:1623\u20131635, 1996.","journal-title":"International Journal of Bifurcation and Chaos"},{"key":"6_CR12","unstructured":"A V Holden, M J Poole, and J V Tucker. A theoretical framework for analysis and synthesis of networks of neurones. In R Moreno-D\u00edaz and J Mira-Mira, editors, Brain Processes, Theories and Models, pages 320\u2013329. MIT Press, 1996."},{"key":"6_CR13","unstructured":"A V Holden, M J Poole, and J V Tucker. Hierarchical reconstructions of cardiac tissue. Technical Report CSR 6-98, Department of Computer Science, University of Wales Swansea, 1998."},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"2249","DOI":"10.1016\/0960-0779(94)90045-0","volume":"4","author":"A. V. Holden","year":"1994","unstructured":"A V Holden, M J Poole, J V Tucker, and H Zhang. Coupling CMLs and the synchronisation of a multilayer neural computing system. Chaos, Solitons and Fractals, 4:2249\u20132268, 1994.","journal-title":"Chaos, Solitons and Fractals"},{"key":"6_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/BFb0021717","volume-title":"Correct hardware design and verification methods","author":"N. A. Harman","year":"1993","unstructured":"N A Harman and J V Tucker. Algebraic specifications and the correctness of microcomputers. In G J Milne and E L Pierre, editors, Correct hardware design and verification methods, Lecture Notes in Computer Science 683, pages 92\u2013108. Springer-Verlag, 1993."},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s002360050051","volume":"33","author":"N. A. Harman","year":"1996","unstructured":"N A Harman and J V Tucker. Algebraic models of microprocessors: Architecture and organisation. Acta Informatica, 33:421\u2013456, 1996.","journal-title":"Acta Informatica"},{"key":"6_CR17","unstructured":"K M Hobley, B C Thompson, and J V Tucker. Specification and verification of synchronous concurrent algorithms: a case study of a convolution algorithm. In G Milne, editor, The Fusion of Hardware Design and Verification, pages 347\u2013374. North-Holland, 1988."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1016\/0167-2789(91)90212-R","volume":"49","author":"A. V. Holden","year":"1991","unstructured":"A V Holden, J V Tucker, and B C Thompson. Can excitable media be considered as computational systems? Physica D, 49:240\u2013246, 1991.","journal-title":"Physica D"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1063\/1.165879","volume":"2","author":"A. V. Holden","year":"1992","unstructured":"A V Holden, J V Tucker, H Zhang, and M J Poole. Coupled map lattices as computational systems. Chaos, 2:367\u2013376, 1992.","journal-title":"Chaos"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"K Kaneko, editor. Coupled Map Lattices: Theory and Applications. John Wiley, 1992.","DOI":"10.1063\/1.165869"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"H T Kung. Why systolic architectures? Computer, pages 37\u201346, January 1982.","DOI":"10.1109\/MC.1982.1653825"},{"key":"6_CR22","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","volume":"55","author":"Y. N. Moschovakis","year":"1964","unstructured":"Y N Moschovakis. Recursive metric spaces. Fundamenta Mathematicae, 55:215\u2013238, 1964.","journal-title":"Fundamenta Mathematicae"},{"key":"6_CR23","unstructured":"K Meinke and J V Tucker. Universal algebra. In D Gabbay S Abramsky and T S E Maibaum, editors, Handbook of Logic in Computer Science, volume 1, pages 189\u2013411. Oxford University Press, 1992."},{"key":"6_CR24","volume-title":"Oxsoft Heart program","author":"D. Noble","year":"1990","unstructured":"D Noble. Oxsoft Heart program, Oxsoft Ltd, Oxford, 1990."},{"key":"6_CR25","unstructured":"A V Panfilov and A V Holden, editors. Computational Biology of the Heart. John Wiley & Sons, 1997."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"D E Rumelhart and J L McClelland, editors. Parallel Distributed Processing. Explorations in the Microstructure of Cognition. (Two volumes). MIT Press, 1986.","DOI":"10.7551\/mitpress\/5236.001.0001"},{"key":"6_CR27","unstructured":"J E Savage. Models of Computation. Addison-Wesley, 1998."},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"603","DOI":"10.2307\/2274527","volume":"53","author":"V. Stoltenberg-Hansen","year":"1988","unstructured":"V Stoltenberg-Hansen and J V Tucker. Complete local rings as domains. Journal of Symbolic Logic, 53:603\u2013624, 1988.","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR29","unstructured":"V Stoltenberg-Hansen and J V Tucker. Effective algebras. In D Gabbay S Abramsky and T S E Maibaum, editors, Handbook of Logic in Computer Science, volume 4, pages 357\u2013526. Oxford University Press, 1995."},{"key":"6_CR30","unstructured":"V Stoltenberg-Hansen and J V Tucker. Concrete models of computation for topological algebras. Technical Report 34, University of Uppsala, Mathematics Department, 1997."},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"K Stephenson. Towards an algebraic specification of the JAVA virtual machine. 1999. In this volume.","DOI":"10.1007\/3-540-49254-2_7"},{"key":"6_CR32","unstructured":"B C Thompson and J V Tucker. Equational specification of synchronous concurrent algorithms and architectures (2nd edition). Technical Report CSR 15-94, Department of Computer Science, University of Wales Swansea, 1994."},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"J V Tucker. Theory of computation and specification over abstract data types and its applications. In F L Bauer, editor, Logic, Algebra and Computation, pages 1\u201339. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-76799-9_1"},{"key":"6_CR34","series-title":"Lect Notes Comput Sci","volume-title":"Mathematical Foundations of Computer Science","author":"J. V. Tucker","year":"1992","unstructured":"J V Tucker and J I Zucker. Theory of computation over stream algebras, and its applications. In I M Havel and V Koubek, editors, Mathematical Foundations of Computer Science, Lecture Notes In Computer Science 629. Springer-Verlag, 1992."},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"K Weihrauch. Computability. EATCS Monographs on Theoretical Computer Science 9. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-69965-8"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"M Wirsing. Algebraic specification. In J van Leeuwen, editor, The Handbook of Theoretical Computer Science, pages 675\u2013788. Elsevier, 1991.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/0167-2789(93)90260-8","volume":"64","author":"R. L. Winslow","year":"1993","unstructured":"R L Winslow, A L Kimball, A Varghese, and D Noble. Simulating cardiac sinus and atrial network dynamics on the Connection Machine. Physica D, 64:282\u2013298, 1993.","journal-title":"Physica D"},{"key":"6_CR38","unstructured":"S Wolfram. Theory and applications of cellular automata. World Scientific, 1986."}],"container-title":["Lecture Notes in Computer Science","Prospects for Hardware Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49254-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,29]],"date-time":"2021-08-29T13:20:58Z","timestamp":1630243258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49254-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654612","9783540492542"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-49254-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}