{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:44Z","timestamp":1725664304573},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601173"},{"type":"electronic","value":"9783540494454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60117-1_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:43:59Z","timestamp":1330278239000},"page":"159-179","source":"Crossref","is-referenced-by-count":3,"title":["An action system specification of the caltech asynchronous microprocessor"],"prefix":"10.1007","author":[{"given":"R. J. R.","family":"Back","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. J.","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Sere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"9_CR1","series-title":"Report A-1978-4","volume-title":"PhD thesis","author":"R. J. R. Back","year":"1978","unstructured":"R. J. R. Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, Department of Computer Science, University of Helsinki, Helsinki, Finland, 1978. Report A-1978-4."},{"key":"9_CR2","volume-title":"Technical Report","author":"R. J. R. Back","year":"1987","unstructured":"R. J. R. Back. Procedural abstraction in the refinement calculus. Technical Report, \u00c5bo Akademi University, Department of Computer Science. Turku, Finland 1987."},{"key":"9_CR3","unstructured":"R. J. R. Back. Refinement calculus, part II: Parallel and reactive programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989, volume 430 of Lecture Notes in Computer Science. Springer-Verlag, 1990."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131\u2013142, 1983.","DOI":"10.1145\/800221.806716"},{"key":"9_CR5","volume-title":"Technical Report","author":"R. J. R. Back","year":"1992","unstructured":"R. J. R. Back, A. J. Martin, and K. Sere. Specification of a Microprocessor. Technical Report, \u00c5bo Akademi University, Department of Computer Science. Ser. A, No 148, Turku, Finland 1992."},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-6423(90)90069-P","volume":"13","author":"R. J. R. Back","year":"1989","unstructured":"R. J. R. Back and K. Sere. Stepwise refinement of parallel algorithms. Science of Computer Programming 13, pages 133\u2013180, 1989.","journal-title":"Science of Computer Programming"},{"key":"9_CR7","series-title":"IFIP Transactions A-56","first-page":"107","volume-title":"Programming Concepts, Methods and Calculi","author":"R. J. R. Back","year":"1994","unstructured":"R. J. R. Back and K. Sere. Action systems with synchronous communication. Proc. of PROCOMET'94, San Miniato, Italy, June 1994. E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, IFIP Transactions A-56, pages 107\u2013126, North-Holland 1994."},{"key":"9_CR8","volume-title":"Lecture Notes in Computer Science","author":"R. J. R. Back","year":"1994","unstructured":"R. J. R. Back and K. Sere. From modular systems to action systems. Proc. of Formal Methods Europe'94, Spain, October 1994. Lecture Notes in Computer Science. Springer-Verlag, 1994."},{"key":"9_CR9","first-page":"128","volume":"50","author":"J. Bowen","year":"1993","unstructured":"J. Bowen et al.. A ProCoS II Project Description: ESPRIT Basic Research project 7071. In Bulletin of the EATCS, volume 50, pages 128\u2013137, June 1993.","journal-title":"Bulletin of the EATCS"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"9_CR11","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976."},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0020-0190(89)90049-5","volume":"32","author":"N. Francez","year":"1989","unstructured":"N. Francez. Cooperating proofs for distributed programs with multiparty interactions. Information Processing Letters, 32:235\u2013242, 1989.","journal-title":"Information Processing Letters"},{"key":"9_CR13","unstructured":"T. Kuusela, J. Plosila, R. Ruksenas, K. Sere, and Zhao Yi. Designing delay-insensitive circuits within the action systems framework. Manuscript, 1995."},{"key":"9_CR14","unstructured":"A. J. Martin. Synthesis of Asynchronous VLSI Circuits. CalTech, Technical Report, 1993."},{"issue":"3","key":"9_CR15","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C. C. Morgan","year":"1988","unstructured":"C. C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3):403\u2013419, July 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR16","unstructured":"C. C. Morgan, K. A. Robinson, and P. H. B. Gardiner. On the Refinement Calculus. Technical Monograph PRG-70, Programming Research Group, Oxford University, October 1988."},{"key":"9_CR17","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J. M. Morris","year":"1987","unstructured":"J. M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9:287\u2013306, 1987.","journal-title":"Science of Computer Programming"},{"key":"9_CR18","volume-title":"PhD thesis","author":"K. Sere","year":"1990","unstructured":"K. Sere Stepwise Refinement of Parallel Algorithms. PhD thesis, Department of Computer Science, \u00c5bo Akademi University, Turku, Finland, 1990."},{"key":"9_CR19","unstructured":"J. Staunstrup and M. R. Greenstreet. Synchronized Transitions. IFIP WG 10.5, Summer school on Formal Methods for VLSI Design, Lecture Notes 1990."}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60117-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:10Z","timestamp":1605646510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60117-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601173","9783540494454"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60117-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}