{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:38:36Z","timestamp":1778294316369,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540179450","type":"print"},{"value":"9783540471813","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17945-3_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:20:46Z","timestamp":1330197646000},"page":"369-386","source":"Crossref","is-referenced-by-count":8,"title":["The concurrent assignment representation of synchronous systems"],"prefix":"10.1007","author":[{"given":"AR","family":"Martin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JV","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1002\/spe.4380120804","volume":"12","author":"Gregory R. R. Andrews","year":"1982","unstructured":"Gregory R. Andrews, \u201cThe Distributed Programming Language SR \u2014 Mechanisms, Design and Implementation,\u201d Software \u2014 Practice and Experience, vol. 12, pp. 719\u2013753, 1982.","journal-title":"Software \u2014 Practice and Experience"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"K. R. Apt","year":"1981","unstructured":"K. R. Apt, \u201cTen years of Hoare logic. A survey \u2014 part 1,\u201d ACM Trans. on Programming Languages and Systems, vol. 3, pp. 431\u2013483, 1981.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"21_CR3","unstructured":"Jaco de Bakker, Mathematical Theory of Program Correctness, Prentice-Hall International, 1980."},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1093\/comjnl\/6.1.44","volume":"6","author":"D. W. Barron","year":"1963","unstructured":"D. W. Barron, J. N. Buxton, D. F. Hartley, E. Nixon, and C. Strachey, \u201cThe Main Features of CPL,\u201d The Computer Journal, vol. 6, pp. 134\u2013143, 1963.","journal-title":"The Computer Journal"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"R. E. Blahut, Fast Algorithms for Digital Signal Processing, Addison-Wesley, 1985.","DOI":"10.1007\/978-94-009-5113-6_8"},{"key":"21_CR6","unstructured":"K. Mani Chandy and Jayadev Misra, Parallelism and Programming: The Proper Perspective, Computer Studies Departmental report, University of Texas at Austin, 1985."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and J. Misra, \u201cSystolic Algorithms as Programs\u201d, in Distributed Computing, vol. 1, Springer-Verlag, 1986.","DOI":"10.1007\/BF01661171"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1145\/5956.5958","volume":"8","author":"M. Chandy","year":"1986","unstructured":"M. Chandy and J. Misra, \u201cAn example of stepwise refinement of distributed programs: quiescence detection,\u201d ACM Trans. on Programming Languages and Systems, vol. 8, pp. 326\u2013343, 1986.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"21_CR9","unstructured":"Ramesh Dewangan and C. Pandu Rangan, A Simple Implementation of Warshall's Algorithm on a VLSI Chip, Dept. of Computer Science and Engineering, Indian Institute of Technology, 1983."},{"key":"21_CR10","unstructured":"Edsgar W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Amos Fiat and Adi Shamir, \u201cPolymorphic Arrays: A novel VLSI layout for Systolic Computers,\u201d in 25th FOCS, pp. 37\u201345, IEEE, 1984.","DOI":"10.1109\/SFCS.1984.715899"},{"key":"21_CR12","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright, \u201cAn Initial Algebra approach to the Specification, Correctness and Implementation of Abstract Data Types,\u201d in Current trends in Programming Methodology, ed. R. T. Yeh, vol. IV Data Structuring, pp. 80\u2013149, Prentice-Hall, 1978."},{"key":"21_CR13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/TSE.1978.231479","volume":"SE-4","author":"D. Gries","year":"1978","unstructured":"D. Gries, \u201cThe Multiple Assignment Statement,\u201d IEEE Transactions on Software Engineering, vol. SE-4, pp. 89\u201393, 1978.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR14","unstructured":"N. A. Harman and J. V. Tucker, The Formal Specification of a Digital Correlator I: User Specification, Centre for Theoretical Computer Science Report, The University of Leeds, 1987."},{"key":"21_CR15","unstructured":"C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall International, 1985."},{"key":"21_CR16","unstructured":"C. Jervis, On the Specification, Implementation and Verification of Data Types, PhD Thesis, Department of Computer Studies, The University of Leeds, to appear, 1987."},{"issue":"1","key":"21_CR17","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.1982.1653825","volume":"15","author":"H. T. Kung","year":"1982","unstructured":"H. T. Kung, \u201cWhy Systolic Architectures?\u201d, Computer, vol. 15, no. 1, pp. 37\u201346, 1982.","journal-title":"Computer"},{"issue":"1","key":"21_CR18","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"SE-1","author":"Barbara H. H. Liskov","year":"1975","unstructured":"Barbara H. Liskov and Stephen N. Zilles, \u201cSpecification Techniques for Data Abstraction,\u201d IEEE Transactions on Software Engineering, vol. SE-1, no. 1, pp. 7\u201312, March 1975.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR19","unstructured":"A. J. Martin, \u201cThe Torus: An Exercise in Constructing a Processing Surface,\u201d in Caltech Conference on VLSI, 1981."},{"key":"21_CR20","unstructured":"C. Mead and L. Conway, Introduction to VLSI Systems, Addison-Wesley, 1980."},{"key":"21_CR21","unstructured":"K. Meinke, A Mathematical Theory of Computation for Synchronous Circuits, PhD Thesis, Department of Computer Studies, The University of Leeds, to appear, 1987."},{"issue":"7","key":"21_CR22","first-page":"363","volume":"C-29","author":"Frances L. L. Scoy Van","year":"1980","unstructured":"Frances L. Van Scoy, \u201cThe Parallel Recognition of Graphs,\u201d IEEE Trans. on Computers, vol. C-29, no. 7, pp. 363\u2013370, July, 1980.","journal-title":"IEEE Trans. on Computers"},{"key":"21_CR23","unstructured":"C. H. Sequin, \u201cDoubly Twisted Torus Networks for VLSI Processor Arrays,\u201d in Eigth Annual Symposium on Computer Architecture, Minneapolis, Minnesota., 1981."},{"issue":"7","key":"21_CR24","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/MC.1984.1659183","volume":"17","author":"L. Snyder","year":"1984","unstructured":"Lawrence Snyder, \u201cParallel Programming and the Poker Programming Environment,\u201d Computer, vol. 17, no. 7, pp. 27\u201336, July, 1984.","journal-title":"Computer"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Lawrence Snyder, \u201cHearts: A Dialect of the Poker Programming Environment specialized to Systolic Computation,\u201d in Proc. of the International Workshop on Systolic Arrays at The University of Oxford, July 1986.","DOI":"10.1117\/12.960504"},{"key":"21_CR26","unstructured":"Ben Thompson, Foundation of Compilation for VLSI Systems, PhD Thesis, Department of Computer Studies, The University of Leeds, to appear, 1987."},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"B. C. Thompson and J. V. Tucker, \u201cTheoretical Considerations in Algorithm design,\u201d in Fundamental algorithms for computer graphics, ed. R. A. Earnshaw, pp. 855\u2013878, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-84574-1_36"},{"key":"21_CR28","unstructured":"J. V. Tucker and J. Zucker, in Program correctness over abstract data types, with error state semantics, North-Holland, to appear, 1987."},{"key":"21_CR29","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1002\/spe.4380131208","volume":"13","author":"P. H. Welch","year":"1983","unstructured":"P. H. Welch, \u201cParallel Assignment Revisited,\u201d Software \u2014 Practice and Experience, vol. 13, pp. 1175\u20131180, 1983.","journal-title":"Software \u2014 Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","PARLE Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17945-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:35:04Z","timestamp":1742589304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17945-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179450","9783540471813"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-17945-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]}}}