{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T06:42:51Z","timestamp":1750488171681},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565963"},{"type":"electronic","value":"9783540475958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56596-5_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:18:22Z","timestamp":1330255102000},"page":"531-562","source":"Crossref","is-referenced-by-count":4,"title":["Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms"],"prefix":"10.1007","author":[{"given":"V.","family":"Stoltenberg-Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"J P Crutchfield and K Kaneko, Phenomenology of spatio-temporal chaos, in H Bai-lin (ed.) Directions in Chaos, World Scientific, 1987.","DOI":"10.1142\/9789814415712_0008"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"H Ehrig and B Mahr, Fundamentals of Algebraic Specifications 1 \u2014 Equations and initial semantics, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"21_CR3","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 G Jones and M Sheeran (eds.) Designing Correct Circuits, Springer-Verlag, 1991, pp. 231\u2013252.","DOI":"10.1007\/978-1-4471-3544-9_13"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"S M Eker and J V Tucker, Specification, derivation and verification of concurrent line drawing algorithms and architectures, in R A Earnshaw (ed.), Theoretical Foundations of Computer Graphics and CAD, Springer-Verlag, 1988, pp. 449\u2013516.","DOI":"10.1007\/978-3-642-83539-1_17"},{"key":"21_CR5","unstructured":"S M Eker and J V Tucker, Specification and verification of synchronous concurrent algorithms: a case study of the Pixel Planes architecture, in P M Dew, R A Earnshaw and T R Heywood (eds.), Parallel Processing for Computer Vision and Display, Addison Wesley, 1989, pp.16\u201349."},{"key":"21_CR6","unstructured":"F Fogelman Soulie, Y Robert, M Tchuente (eds.), Automata Networks in Computer Science, Manchester University Press, 1986."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"E Griffor, I Lindstr\u00f6m and V Stoltenberg-Hansen, Mathematical Theory of Domains, Cambridge Tracts in Theoretical Compiuter Science, to appear 1993.","DOI":"10.1017\/CBO9781139166386"},{"key":"21_CR8","unstructured":"J A Goguen, J W Thatcher, E G Wagner, and J B Wright, An initial algebra approach to the specification, correctness and implementation of abstract data types, in R T Yeh (ed.), Current Trends in Programming Methodology: IV Data Structuring, Prentice Hall, 1978, pp. 80\u2013149."},{"key":"21_CR9","unstructured":"N A Harman and J V Tucker, Clocks, retimings, and the formal specification of a UART, in G Milne (ed.) The Fusion of Hardware Design and Verification (Proceedings of IFIP Working Group 10.2 Working Conference), North-Holland, 1988, pp. 375\u2013396."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"N A Harman and J V Tucker, The formal specification of a digital correlator I: User specification process, in K McEvoy and J V Tucker [90], pp. 161\u2013262.","DOI":"10.1017\/CBO9780511569838.008"},{"key":"21_CR11","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 (ed.) The Fusion of Hardware Design and Verification (Proceedings of IFIP Working Group 10.2 Working Conference), North-Holland, 1988, pp. 347\u2013374."},{"key":"21_CR12","unstructured":"A V Holden, J V Tucker and B C Thompson, The computational structure of neural systems, in A V Holden and V I Kryukov (eds.) Neurocomputers and Attention. I: Neurobiology, Synchronisation and Chaos, Manchester University Press, 1990, pp. 223\u2013240."},{"key":"21_CR13","doi-asserted-by":"crossref","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 (1991) 240\u2013246.","journal-title":"Physica D"},{"key":"21_CR14","first-page":"367","volume":"2","author":"A. V. Holden","year":"1992","unstructured":"A V Holden, J V Tucker, M Poole and H Zhang, Coupled map lattices as computational systems, American Institute of Physics Chaos 2 (1992), 367\u2013376.","journal-title":"American Institute of Physics Chaos"},{"key":"21_CR15","unstructured":"K Kaneko (ed.), Coupled Map Lattices \u2014 Theory and Applications, J Wiley, in press."},{"key":"21_CR16","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0167-8191(89)90130-0","volume":"9","author":"A. R. Martin","year":"1988\/89","unstructured":"A R Martin and J V Tucker, The concurrent assignment representation of synchronous systems, Parallel Computing 9 (1988\/89) 227\u2013256.","journal-title":"Parallel Computing"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"K McEvoy and J V Tucker (eds.), Theoretical Foundations of VLSI Design, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511569838"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"B McConnell and J V Tucker, Infinite synchronous concurrent algorithms: the specifiation and verification of a hardware stack, in H Schwichtenberg (ed.) Logic and Algebra for Specification, Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_9"},{"key":"21_CR19","unstructured":"B McConnell and J V Tucker, Direct limits of algebras and the parameterisation of synchronous concurrent algorithms, Department of Computer Science, University College of Swansea, Report, in preparation."},{"key":"21_CR20","unstructured":"K Meinke and J V Tucker, Specification and representation of synchronous concurrent algorithms, in F H Vogt (ed.) Concurrency '88, Lecture Notes in Computer Science 335, Springer-Verlag, 1988, pp. 163\u2013180."},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"K Meinke and J V Tucker, Universal algebra, in S Abramsky, D Gabbay, T S E Maibaum (eds.) Handbook of Logic in Computer Science, Oxford University Press, pp. 189\u2013411.","DOI":"10.1093\/oso\/9780198537359.003.0003"},{"key":"21_CR22","unstructured":"B C Thompson, A mathematical theory of synchronous concurrent algorithms. PhD Thesis, School of Computer Studies, University of Leeds, 1987."},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"B C Thompson and J V Tucker, Theoretical considerations in algorithm design, in R A Earnshaw (ed.), Fundamental Algorithms for Computer Graphics, Springer-Verlag, 1985, pp. 855\u2013878.","DOI":"10.1007\/978-3-642-84574-1_36"},{"key":"21_CR24","unstructured":"B C Thompson and J V Tucker, Equational specification of synchronous concurrent algorithms and architectures, Computer Science Division Research Report, University College of Swansea, 1991."},{"key":"21_CR25","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1017\/S0022481200028498","volume":"53","author":"V Stoltenberg-Hansen","year":"1988","unstructured":"V Stoltenberg-Hansen and J V Tucker, Complete local rings as domains, J. Symbolic Logic 53 (1988) 603\u2013624.","journal-title":"J. Symbolic Logic"},{"key":"21_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(06)80002-2","volume":"87","author":"V Stoltenberg-Hansen","year":"1991","unstructured":"V Stoltenberg-Hansen and J V Tucker, Algebraic and fixed point equations over inverse limits of algebras, Theoretical Computer Science 87 (1991) 1\u201324.","journal-title":"Theoretical Computer Science"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"J V Tucker, Theory of computation and specification over abstract data types and its applications, in F L Bauer (ed), Proceedings of NATO Summer School 1989 at Marktoberdorf, in Logic, algebra and computation, Springer, 1991, pp 1\u201339.","DOI":"10.1007\/978-3-642-76799-9_1"},{"key":"21_CR28","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-55808-X_6","volume-title":"Mathematical Foundations of Computer Science 1992, 17th International Symposium, Prague, Lecture Notes in Computer Science 629","author":"J. V. Tucker","year":"1992","unstructured":"J V Tucker and J I Zucker, Theory of computation over stream algebras and applications, in I M Havel and V Koubek (eds), Mathematical Foundations of Computer Science 1992, 17th International Symposium, Prague, Lecture Notes in Computer Science 629, Springer, Berlin, 1992, 62\u201380."},{"key":"21_CR29","volume-title":"EATCS Monographs","author":"W Wechler","year":"1991","unstructured":"W Wechler, Universal Algebra for Computer Scientists, EATCS Monographs, Springer Verlag, Berlin, 1991."},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"M Wirsing, Algebraic specification, in J van Leeuwen (ed) Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics, Elsevier, 1990, pp. 675\u2013788.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Semantics: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56596-5_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T14:52:04Z","timestamp":1713624724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56596-5_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565963","9783540475958"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-56596-5_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}