{"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":1761596977010},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_20","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T14:35:02Z","timestamp":1151505302000},"page":"338-358","source":"Crossref","is-referenced-by-count":7,"title":["The Linear Algebra of UTP"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"M\u00f6ller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Aarts, C.J.: Galois connections presented calculationally. MSc thesis. Dept. of Math. and Comput. Sci., Eindhoven Univ. of Techn. (1992)","key":"20_CR1"},{"unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Trans. on Comput. Logic (to appear)","key":"20_CR2"},{"doi-asserted-by":"crossref","unstructured":"Dunne, S.: Recasting Hoare and He\u2019s unifying theory of programs in the context of general correctness. In: Butterfield, A., Strong, G., Pahl, C. (eds.) Proc. of 5th Irish Wksh. on Formal Methods. Electron. Wkshs. in Comput. Sci. British Comput. Soc. (2001)","key":"20_CR3","DOI":"10.14236\/ewic\/IWFM2001.1"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/11768173_14","volume-title":"Unifying Theories of Programming","author":"W. Guttmann","year":"2006","unstructured":"Guttmann, W., M\u00f6ller, B.: Modal design algebra. Techn. report 2005-15. Inst. f\u00fcr Informatik, Univ. Augsburg (2005). In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol.\u00a04010, pp. 236\u2013256. Springer, Heidelberg (2006)"},{"key":"20_CR5","volume-title":"Unifying theories of programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying theories of programming. Prentice Hall, Englewood Cliffs (1998)"},{"doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., M\u00f6ller, B., Solin, K.: Omega algebra, demonic refinement algebra and commands. Techn. Report 2006-11. Inst. f\u00fcr Informatik, Univ. Augsburg (2006)","key":"20_CR6","DOI":"10.1007\/11828563_15"},{"issue":"2","key":"20_CR7","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":"20_CR8","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."},{"issue":"2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.tcs.2005.09.069","volume":"351","author":"B. M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., Struth, G.: Algebras of modal operators and partial correctness. Theor. Comput. Sci.\u00a0351(2), 221\u2013239 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11734673_16","volume-title":"Relational Methods in Computer Science","author":"B. M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., Struth, G.: wp is wlp. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 200\u2013211. Springer, Heidelberg (2006)"},{"issue":"5","key":"20_CR11","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0020-0190(88)90147-0","volume":"26","author":"C. Morgan","year":"1988","unstructured":"Morgan, C.: Data refinement by miracles. Inform. Process. Lett.\u00a026(5), 243\u2013246 (1988)","journal-title":"Inform. Process. Lett."},{"issue":"4","key":"20_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF00276019","volume":"26","author":"J.M. Morris","year":"1989","unstructured":"Morris, J.M.: Laws of data refinement. Acta Inform.\u00a026(4), 287\u2013308 (1989)","journal-title":"Acta Inform."},{"issue":"4","key":"20_CR13","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."},{"issue":"1-2","key":"20_CR14","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_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T00:17:00Z","timestamp":1707092220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11783596_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356318","9783540356325"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11783596_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}