{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T16:13:28Z","timestamp":1648570408285},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1993,2]]},"DOI":"10.1007\/bf01383944","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T02:05:31Z","timestamp":1112407531000},"page":"73-91","source":"Crossref","is-referenced-by-count":2,"title":["Using fixed-point semantics to prove retiming lemmas"],"prefix":"10.1007","volume":"2","author":[{"given":"Stephen","family":"Brookes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"CR1","first-page":"41","volume":"1","author":"Charles E. Leiserson","year":"1983","unstructured":"Charles E. Leiserson and James B. Saxe. Optimizing synchronous systems.Journal of VLSI and Computer Systems, 1(1): 41?68 (1983).","journal-title":"Journal of VLSI and Computer Systems"},{"key":"CR2","volume-title":"Elliptic Problem Solvers II","author":"H.T. Kung","year":"1983","unstructured":"H.T. Kung and W.T. Lin. An algebra for VLSI computation. InElliptic Problem Solvers II, G. Birkhoff and A.L. Schoenstadt (eds.). Academic Press, New York, January 1983."},{"key":"CR3","unstructured":"M.C. Chen.Space-time Algorithms: Semantics and Methodology. Ph.D. thesis, Department of Computer Science, California Institute of Technology, May 1983."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-642-95432-0_12","volume-title":"Proceedings of the Third Caltech Conference on Very Large Scale Integration","author":"M.C. Chen","year":"1983","unstructured":"M.C. Chen and C.A. Mead. A hierarchical simulator based on formal semantics. InProceedings of the Third Caltech Conference on Very Large Scale Integration, R. Bryant (ed.). Computer Science Press, Rockville, Maryland, March 1983, papes 207?223."},{"key":"CR5","unstructured":"M.J.C. Gordon. A model of register transfer systems with applications to microcode and VLSI correctness. Department of Computer Science Technical Report CSR-82-81, University of Edinburgh, 1981."},{"key":"CR6","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics","author":"J.E. Stoy","year":"1977","unstructured":"J.E. Stoy.Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, MA, 1977."},{"key":"CR7","first-page":"19","volume-title":"Proceedings of the Symposium on Computers and Automata","author":"D.S. Scott","year":"1971","unstructured":"D.S. Scott and C. Strachey. Toward a mathematical semantics for computer languages. InProceedings of the Symposium on Computers and Automata, J. Box (ed.). Polytechnic Institute of Brooklyn Press, New York, 1971, pp. 19?46."},{"key":"CR8","unstructured":"H.T. Kung and M. Lam. Fault-tolerance and two-level pipelining in VLSI systolic arrays. InProceedings of the Conference on Advanced Research in VLSI, MIT, Cambridge, MA, January 1984."},{"key":"CR9","unstructured":"J.W. de Bakker and D.S. Scott. A theory of programs.Seminar on Programming Theory, Vienna, 1969."},{"key":"CR10","first-page":"993","volume-title":"Information Processing 1977","author":"G. Kahn","year":"1977","unstructured":"G. Kahn and D.B. MacQueen. Coroutines and networks of parallel processes. InInformation Processing 1977. North Holland, Amsterdam, 1977, pp. 993?998."},{"key":"CR11","volume-title":"Proceedings of the 6th International Symposium on Computer Hardware Description Languages and their Applications","author":"M. Lam","year":"1983","unstructured":"M. Lam and J. Mostow. A transformational model of VLSI systolic design. InProceedings of the 6 th International Symposium on Computer Hardware Description Languages and their Applications, T. Uehara and M. Barbacci (eds.). IFIP, Pittsburgh, PA, May 1983."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1109\/T-C.1969.222663","volume":"18","author":"Stephen N. Cole","year":"1969","unstructured":"Stephen N. Cole. Real-time computation byn-dimensional iterative arrays of finite-state machines.IEEE Transactions on Computers, C-18:349?365 (April 1969).","journal-title":"IEEE Transactions on Computers"},{"key":"CR13","first-page":"256","volume-title":"Sparse Matrix Proceedings 1978","author":"H.T. Kung","year":"1978","unstructured":"H.T. Kung and Charles E. Leiserson. Systolic arrays (for VLSI). InSparse Matrix Proceedings 1978, I.S. Duff and G.W. Stewart (eds.). Society for Industrial and Applied Mathematics, 1978, Philadelphia, PA, pp. 256?282."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01383944.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01383944\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01383944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T16:04:47Z","timestamp":1556813087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01383944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["BF01383944"],"URL":"https:\/\/doi.org\/10.1007\/bf01383944","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}