{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:55Z","timestamp":1725663055577},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167617"},{"type":"electronic","value":"9783540398592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16761-7_72","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:51:53Z","timestamp":1330177913000},"page":"226-235","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis and equivalence of concurrent systems"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Lisper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G. Birkhoff","year":"1970","unstructured":"G. Birkhoff, J. D. Lipson, \u201cHeterogenous Algebras\u201d, J. Combin. Theory, vol. 8 (Jan. 1970), pp. 115\u2013133","journal-title":"J. Combin. Theory"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"P. K. Cappello, K. Steiglitz, Unifying VLSI Array Design with Linear Transformations of Space-Time, Research Report TRCS83-03, Dept. Comput. Sci., UCSB, 1983","DOI":"10.1117\/12.944011"},{"key":"24_CR3","unstructured":"M. C. Chen, A Synthesis Method for Systolic Designs, Research Report YALEU\/DCS\/RR-334, Dept. Comput. Sci., Yale University, Jan. 1985"},{"key":"24_CR4","unstructured":"M. C. Chen, Synthesizing Systolic Designs, Research Report YALEU\/DCS\/RR-374, Dept. Comput. Sci., Yale University, March 1985"},{"key":"24_CR5","unstructured":"K. Culik II, I. Fris, Topological Transformations As a Tool in The Design of Systolic Networks, Report CS-84-11, Dept. Comput. Sci., University of Waterloo, April 1984"},{"key":"24_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"G. Gr\u00e4tzer, Universal Algebra, Springer-Verlag, New York, 1979"},{"key":"24_CR7","unstructured":"L. Johnsson, D. Cohen, A Mathematical Approach to Computational Networks for the Discrete Fourier Transform, Preliminary Technical Report, Dept. Comput. Sci., Yale University, 1985"},{"key":"24_CR8","unstructured":"L. Johnsson, U. Weiser, D. Cohen, A. L. Davis, \u201cTowards a Formal Treatment of VLSI Arrays\u201d, Proc. Second Caltech Conf. on VLSI, Jan. 1981, pp. 378\u2013398"},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/T-C.1972.223501","volume":"C-21","author":"D. J. Kuck","year":"1972","unstructured":"D. J. Kuck, Y. Muraoka, S. C. Chen, \u201cOn the Number of Operations Simoultaneously Executable in Fortran-like Programs and Their Resulting Speedup\u201d, IEEE Trans. Comput., vol C-21, pp. 1293\u20131310, Dec. 1972","journal-title":"IEEE Trans. Comput."},{"key":"24_CR10","volume-title":"Introduction to VLSI systems","author":"H. T. Kung","year":"1980","unstructured":"H. T. Kung, C. E. Leiserson, \u201cAlgorithms for VLSI Processor Arrays\u201d, Ch. 8.3 in C. Mead, L. Conway, Introduction to VLSI systems, Addison-Wesley, Reading, MA, 1980"},{"key":"24_CR11","series-title":"Technical Report","volume-title":"An Algebra for VLSI Algorithm Design","author":"H. T. Kung","year":"1983","unstructured":"H. T. Kung, W. T. Lin, An Algebra for VLSI Algorithm Design, Technical Report, Dept. Comput. Sci., Carnegie-Mellon Univ., PA, 1983"},{"key":"24_CR12","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/360827.360844","volume":"17","author":"L. Lamport","year":"1974","unstructured":"L. Lamport, \u201cThe Parallel Execution of DO Loops\u201d, CACM vol. 17 (Feb. 1974), pp. 83\u201393","journal-title":"CACM"},{"key":"24_CR13","unstructured":"H. Lev-Ari, Modular Computing Networks: a New Methodology for Analysis and Design of Parallel Algorithms\/Architectures, ISI Report 29, Integrated Systems Inc., Dec. 1983"},{"key":"24_CR14","unstructured":"H. Lev-Ari, Canonical Realizations of Completely Regular Modular Computing Networks, ISI Report 41, Integrated Systems Inc., May 1984"},{"key":"24_CR15","unstructured":"B. Lisper, Description and Synthesis of Systolic Arrays, Technical Report TRITA-NA-8318, NADA, R.I.T., Stockholm, 1983"},{"key":"24_CR16","unstructured":"B. Lisper, Hardware Synthesis from Specification with Polynomials, Technical Report TRITA-NA-8506, NADA, R.I.T., Stockholm, 1985"},{"key":"24_CR17","unstructured":"B. Lisper, Ph. D. Thesis, to appear"},{"key":"24_CR18","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF02253685","volume":"32","author":"W. L. Miranker","year":"1984","unstructured":"W. L. Miranker, A. Winkler, \u201cSpacetime Representations of Computational Structures\u201d, Computing, vol. 32 (1984), pp. 93\u2013114","journal-title":"Computing"},{"key":"24_CR19","doi-asserted-by":"crossref","first-page":"1121","DOI":"10.1109\/TC.1982.1675929","volume":"C-31","author":"D. T. Moldovan","year":"1982","unstructured":"D. T. Moldovan, \u201cOn the Analysis and Synthesis of VLSI algorithms\u201d, IEEE Trans. Comput., vol. C-31 (Oct. 1982), pp. 1121\u20131126","journal-title":"IEEE Trans. Comput."},{"key":"24_CR20","unstructured":"Y. Muraoka, Parallelism Exposure and Exploitation in Programs, Ph. D. Thesis, Dept. Comput. Sci., University of Illinois at Urbana-Champaign, 1971"},{"key":"24_CR21","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, G. Winskel, \u201cPetri Nets, Event Structures and Domains, Part I\u201d, TCS vol. 13 (1981), pp. 85\u2013108","journal-title":"TCS"},{"key":"24_CR22","unstructured":"I. V. Ramakrishnan, D. S. Fussell, A. Silberschatz, Towards a Characterization of Programs for a Model of VLSI Array-Processors, Technical Report TR-202, Dept. Comput. Sci., University of Texas at Austin, July 1982"},{"key":"24_CR23","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1109\/T-C.1971.223205","volume":"C-20","author":"H. S. Stone","year":"1971","unstructured":"H. S. Stone, \u201cParallel Processing with the Perfect Shuffle\u201d, IEEE Trans. Comput., vol C-20 (Feb. 1971), pp. 153\u2013161","journal-title":"IEEE Trans. Comput."},{"key":"24_CR24","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-642-68402-9_25","volume-title":"VLSI Systems and Computations","author":"U. Weiser","year":"1981","unstructured":"U. Weiser, A. L. Davis, \u201cA Wavefront Tool for VLSI Design\u201d, in H. T. Kung, B. Sproull and G. Steele eds. VLSI Systems and Computations, Springer-Verlag, Berlin, 1981, pp. 226\u2013234"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16761-7_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T13:44:30Z","timestamp":1687268670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16761-7_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167617","9783540398592"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-16761-7_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}