{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:56Z","timestamp":1725664316031},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:44:25Z","timestamp":1330278265000},"page":"452-472","source":"Crossref","is-referenced-by-count":6,"title":["ImpUNITY: UNITY with procedures and local variables"],"prefix":"10.1007","author":[{"given":"Rob T.","family":"Udink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"24_CR1","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, volume 430 of Lecture Notes in Computer Science, pages 42\u201366. Springer-Verlag, 1990."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"R. J.R. Back. Refinement calculus, lattices and higher order logic. In M. Broy, editor, Program Design Calculi, volume 118 of Nato ASI Series, Series F, pages 53\u201372. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02880-3_2"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd ACM SIGACT-SIGOPS Symp. on Distributed Computing, pages 131\u2013142. ACM, 1983.","DOI":"10.1145\/800221.806716"},{"key":"24_CR4","first-page":"107","volume-title":"Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions","author":"R.J.R. Back","year":"1994","unstructured":"R.J.R. Back and K. Sere. Action systems with synchronous communication. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 107\u2013126. IFIP, Elsevier Science Publishers B.V. (North Holland), June 1994."},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/BF00259469","volume":"27","author":"R.J.R. Back","year":"1990","unstructured":"R.J.R. Back and J. van Wright. Duality in specification languages: A latticetheoretical approach. Acta Informatica, 27:583\u2013625, 1990.","journal-title":"Acta Informatica"},{"key":"24_CR6","unstructured":"K.M. Chandy and J. Misra. Parallel Program Design \u2014 A Foundation. Addison-Wesley Publishing Company, Inc., 1988."},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0020-0190(92)90077-9","volume":"41","author":"J. Pachl","year":"1992","unstructured":"J. Pachl. A simple proof of a completeness result for leads-to in the UNITY logic. Information Processing Letters, 41:35\u201338, 1992.","journal-title":"Information Processing Letters"},{"key":"24_CR8","first-page":"1","volume-title":"Stepwise refinement of mixed specifications of concurrent programs","author":"B.A. Sanders","year":"1990","unstructured":"B.A. Sanders. Stepwise refinement of mixed specifications of concurrent programs. In M. Broy and Jones C.B., editors, Proceedings of the IFIP Working Conference on Programming and Methods, pages 1\u201325. Elsevier Science Publishers B.V. (North Holland), May 1990."},{"issue":"2","key":"24_CR9","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF01898402","volume":"3","author":"B.A. Sanders","year":"1991","unstructured":"B.A. Sanders. Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing, 3(2):189\u2013205, 1991.","journal-title":"Formal Aspects of Computing"},{"issue":"6","key":"24_CR10","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/BF01209623","volume":"30","author":"A. K. Singh","year":"1993","unstructured":"Ambuj K. Singh. Program refinement in fair transition systems. Acta Informatica, 30(6):503\u2013535, 1993.","journal-title":"Acta Informatica"},{"key":"24_CR11","first-page":"127","volume-title":"Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions","author":"R.T. Udink","year":"1994","unstructured":"R.T. Udink, T. Herman, and J.N. Kok. Progress for local variables in UNITY. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 127\u2013146. IFIP, Elseviers Science Publishers B.V. (North Holland), June 1994."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"R.T. Udink and J.N. Kok. Two fully abstract models for UNITY. In Eike Best, editor, CONCUR'93, Proceedings of the 4th International Conference on Concurrency Theory, volume 715 of Lecture Notes in Computer Science, pages 339\u2013352. Springer-Verlag, August 1993.","DOI":"10.1007\/3-540-57208-2_24"},{"key":"24_CR13","unstructured":"R.T. Udink and J.N. Kok. The Dagstuhl specification problem, UNITY-Refinement Calculus. Presentation at the Dagstuhl Seminar on Reactive Systems, September 1994. http:\/\/www.research.digital.com\/SRC\/personal\/Leslie-Lamport\/dagstuhl\/all.html"},{"issue":"2","key":"24_CR14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF01192157","volume":"31","author":"J. Wright von","year":"1994","unstructured":"J. von Wright. The lattice of data refinement. Acta Informatica, 31(2):105\u2013135, 1994.","journal-title":"Acta Informatica"}],"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_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:56Z","timestamp":1619573516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60117-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601173","9783540494454"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-60117-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}