{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:29:43Z","timestamp":1725470983488},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378730"},{"type":"electronic","value":"9783540378747"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11828563_21","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:43:15Z","timestamp":1159872195000},"page":"311-327","source":"Crossref","is-referenced-by-count":9,"title":["Monotone Predicate Transformers as Up-Closed Multirelations"],"prefix":"10.1007","author":[{"given":"Ingrid","family":"Rewitzky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Brink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"Abstract and Concrete Categories","author":"J. Ad\u00e1mek","year":"1991","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. John Wiley and Sons, Inc, Chichester (1991)"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0304-3975(92)90309-4","volume":"100","author":"R.J.R. Back","year":"1992","unstructured":"Back, R.J.R., von Wright, J.: Combining angels, demons and miracles in program specifications. Theoretical Computer Science\u00a0100, 365\u2013383 (1992)","journal-title":"Theoretical Computer Science"},{"key":"21_CR3","series-title":"Graduate Texts in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calclulus: A Systematic Introduction.","author":"R.J.R. Back","year":"1998","unstructured":"Back, R.J.R., von Wright, J.J.: Refinement Calclulus: A Systematic Introduction. Graduate Texts in Computer Science. Springer, New York (1998)"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/16073606.1993.9631724","volume":"16","author":"H.W. Bargenda","year":"1993","unstructured":"Bargenda, H.W., Brink, C., Vajner, V.: Categorical aspects of power algebras. Quaestiones Mathematica\u00a016, 133\u2013147 (1993)","journal-title":"Quaestiones Mathematica"},{"key":"21_CR5","volume-title":"Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"21_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01196091","volume":"30","author":"C. Brink","year":"1993","unstructured":"Brink, C.: Power structures. Algebra Universalis\u00a030, 177\u2013216 (1993)","journal-title":"Algebra Universalis"},{"key":"21_CR8","volume-title":"A Paradigm for Program Semantics: Power Structures and Duality","author":"C. Brink","year":"2001","unstructured":"Brink, C., Rewitzky, I.: A Paradigm for Program Semantics: Power Structures and Duality. CSLI Publications, Stanford (2001)"},{"issue":"8","key":"21_CR9","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM\u00a018(8), 453\u2013458 (1975)","journal-title":"Communications of the ACM"},{"key":"21_CR10","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey (1976)"},{"issue":"1","key":"21_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0304-3975(91)90029-2","volume":"87","author":"P.H. Gardiner","year":"1991","unstructured":"Gardiner, P.H., Morgan, C.C.: Data refinement of predicate transformers. Theoretical Computer Science\u00a087(1), 143\u2013162 (1991)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"21_CR12","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0167-6423(94)90006-X","volume":"22","author":"P.H. Gardiner","year":"1994","unstructured":"Gardiner, P.H., Martin, C.E., de Moor, O.: An algebraic construction of predicate transformers. Science of Computer Programming\u00a022(1-2), 21\u201344 (1994)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"21_CR13","first-page":"207","volume":"40","author":"M. Gehrke","year":"1994","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattices with operators. Mathematica Japonica\u00a040(2), 207\u2013215 (1994)","journal-title":"Mathematica Japonica"},{"issue":"2","key":"21_CR14","first-page":"197","volume":"52","author":"M. Gehrke","year":"2000","unstructured":"Gehrke, M., J\u00f3nsson, B.: Monotone bounded distributive lattice expansions. Mathematica Japonica\u00a052(2), 197\u2013213 (2000)","journal-title":"Mathematica Japonica"},{"issue":"10","key":"21_CR15","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 576\u2013583 (1969)","journal-title":"Communications of the ACM"},{"key":"21_CR16","unstructured":"Hoare, C.A.R.: An algebra of games of choice. Unpublished manuscript, 4 pages (1996)"},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators I. American Journal of Mathematics\u00a073, 891\u2013939 (1951)","journal-title":"American Journal of Mathematics"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-27764-4_13","volume-title":"Mathematics of Program Construction","author":"C. Martin","year":"2004","unstructured":"Martin, C., Curtis, S., Rewitzky, I.: Modelling nondeterminism. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 228\u2013251. Springer, Heidelberg (2004)"},{"issue":"3","key":"21_CR19","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C.C. Morgan","year":"1998","unstructured":"Morgan, C.C.: The specification statement. Transactions of Programming Language Systems\u00a010(3), 403\u2013491 (1998)","journal-title":"Transactions of Programming Language Systems"},{"issue":"5","key":"21_CR20","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1147\/rd.315.0546","volume":"31","author":"C.C. Morgan","year":"1987","unstructured":"Morgan, C.C., Robertson, K.A.: Specification statements and refinement. IBM Journal of Research and Development\u00a031(5), 546\u2013555 (1987)","journal-title":"IBM Journal of Research and Development"},{"issue":"4","key":"21_CR21","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G. Nelson","year":"1989","unstructured":"Nelson, G.: A generalisation of Dijkstra\u2019s calculus. ACM Transactions on Programming Languages and Systems\u00a011(4), 517\u2013562 (1989)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR22","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H.A. Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bulletin of the London Mathematical Society\u00a02, 186\u2013190 (1970)","journal-title":"Bulletin of the London Mathematical Society"},{"key":"21_CR23","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/BF01211604","volume":"7","author":"I. Rewitzky","year":"1995","unstructured":"Rewitzky, I., Brink, C.: Predicate transformers as power operations. Formal Aspects of Computing\u00a07, 169\u2013182 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-24615-2_12","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments","author":"I. Rewitzky","year":"2003","unstructured":"Rewitzky, I.: Binary multirelations. In: de Swart, H., Or\u0142owska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol.\u00a02929, pp. 259\u2013274. Springer, Heidelberg (2003)"},{"key":"21_CR25","first-page":"1","volume":"67","author":"M.H. Stone","year":"1937","unstructured":"Stone, M.H.: Topological representations of distributive lattices and Brouwerian logics. Casopis Pro Potov\u00e1n\u00ed Mathematiky\u00a067, 1\u201325 (1937)","journal-title":"Casopis Pro Potov\u00e1n\u00ed Mathematiky"}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11828563_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:13:18Z","timestamp":1619507598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11828563_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378730","9783540378747"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11828563_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}