{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:37Z","timestamp":1761596977640},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356318"},{"type":"electronic","value":"9783540356325"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11783596_23","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T14:35:02Z","timestamp":1151505302000},"page":"397-415","source":"Crossref","is-referenced-by-count":15,"title":["Refinement Algebra with Operators for Enabledness and Termination"],"prefix":"10.1007","author":[{"given":"Kim","family":"Solin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joakim","family":"von Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Mathematical Centre Tracts","author":"R.-J. Back","year":"1980","unstructured":"Back, R.-J.: Correctness Preserving Program Refinements: Proof Theory and Applications. In: Mathematical Centre Tracts, vol.\u00a0131. Mathematical Centre, Amsterdam (1980)"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/800221.806716","volume-title":"Proc. of 2nd Ann. ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, PODC 1983","author":"R.-J. Back","year":"1983","unstructured":"Back, R.-J., Kurki-Suonio, R.: Decentralisation of process nets with centralised control. In: Proc. of 2nd Ann. ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, PODC 1983, pp. 131\u2013142. ACM Press, New York (1983)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/3-540-51285-3_42","volume-title":"PARLE \u201989 - Parallel Architectures and Languages Europe","author":"R.-J. Back","year":"1989","unstructured":"Back, R.-J.: Refining atomicity in parallel algorithms. In: Odijk, E., Rem, M., Syre, J.-C. (eds.) PARLE 1989. LNCS, vol.\u00a0366, pp. 199\u2013216. Springer, Heidelberg (1989)"},{"issue":"1","key":"23_CR4","first-page":"17","volume":"12","author":"R.-J. Back","year":"1991","unstructured":"Back, R.-J., Sere, K.: Stepwise refinement of action systems. Structured Programming\u00a012(1), 17\u201330 (1991)","journal-title":"Structured Programming"},{"key":"23_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.-J. Back","year":"1998","unstructured":"Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)"},{"issue":"4","key":"23_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s002360050163","volume":"36","author":"R.-J. Back","year":"1999","unstructured":"Back, R.-J., von Wright, J.: Reasoning algebraically about loops. Acta Inform.\u00a036(4), 295\u2013334 (1999)","journal-title":"Acta Inform."},{"issue":"1","key":"23_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0167-6423(90)90042-C","volume":"15","author":"W. Chen","year":"1990","unstructured":"Chen, W., Udding, J.T.: Program inversion: more than fun! Sci. of Comput. Program.\u00a015(1), 1\u201313 (1990)","journal-title":"Sci. of Comput. Program."},{"key":"23_CR8","unstructured":"Cohen, E.: Hypotheses in Kleene algebra. Telcordia (unpublished manuscript, 1994)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/10722010_4","volume-title":"Mathematics of Program Construction","author":"E. Cohen","year":"2000","unstructured":"Cohen, E.: Separation and reduction. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 45\u201359. Springer, Heidelberg (2000)"},{"key":"23_CR10","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. CoRR cs.LO\/0310054 (2003)"},{"key":"23_CR11","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1976)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Mathematical Aspects of Computer Science. Proc. of Symp. on Applied Math. Amer. Math. Soc., vol.\u00a0XIX, pp. 19\u201332 (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"23_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming. Springer, Heidelberg (1981)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., M\u00f6ller, B., Solin, K.: Omega algebra, demonic refinement algebra and commands. Technical Report 2006-11. Inst. f\u00fcr Informatik, Universit\u00e4t Augsburg (2006)","DOI":"10.1007\/11828563_15"},{"issue":"2","key":"23_CR15","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D. Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inform. and Comput.\u00a0110(2), 366\u2013390 (1994)","journal-title":"Inform. and Comput."},{"issue":"3","key":"23_CR16","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Trans. on Program. Lang. and Syst.\u00a019(3), 427\u2013443 (1997)","journal-title":"ACM Trans. on Program. Lang. and Syst."},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-27764-4_14","volume-title":"Mathematics of Program Construction","author":"B. M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, B.: Lazy Kleene Algebra. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 252\u2013273. Springer, Heidelberg (2004)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-24771-5_18","volume-title":"Relational and Kleene-Algebraic Methods in Computer Science","author":"B. M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, B., Struth, G.: Greedy-like algorithms in Kleene algebra. In: Berghammer, R., M\u00f6ller, B., Struth, G. (eds.) RelMiCS 2003. LNCS, vol.\u00a03051, pp. 202\u2013215. Springer, Heidelberg (2004)"},{"key":"23_CR19","volume-title":"Programming from Specifications","author":"C.C. Morgan","year":"1994","unstructured":"Morgan, C.C.: Programming from Specifications, 2nd edn. Prentice-Hall, Englewood Cliffs (1994)","edition":"2"},{"issue":"4","key":"23_CR20","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G. Nelson","year":"1989","unstructured":"Nelson, G.: A generalization of Dijkstra\u2019s calculus. ACM Trans. on Program. Lang. and Syst.\u00a011(4), 517\u2013561 (1989)","journal-title":"ACM Trans. on Program. Lang. and Syst."},{"key":"23_CR21","doi-asserted-by":"publisher","DOI":"10.1142\/9789812830685","volume-title":"An Algebraic Approach To Compiler Design","author":"A.C.A. Sampaio","year":"1997","unstructured":"Sampaio, A.C.A.: An Algebraic Approach To Compiler Design. World Scientific, Singapore (1997)"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45442-X_14","volume-title":"Mathematics of Program Construction","author":"J. Wright von","year":"2002","unstructured":"von Wright, J.: From kleene algebra to refinement algebra. In: Boiten, E.A., M\u00f6ller, B. (eds.) MPC 2002. LNCS, vol.\u00a02386, pp. 233\u2013262. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"23_CR23","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.scico.2003.09.002","volume":"51","author":"J. Wright von","year":"2004","unstructured":"von Wright, J.: Towards a refinement algebra. Sci. of Comput. Program.\u00a051(1-2), 23\u201345 (2004)","journal-title":"Sci. of Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11783596_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T08:14:41Z","timestamp":1558426481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11783596_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356318","9783540356325"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11783596_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}