{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:42Z","timestamp":1725664002643},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578871"},{"type":"electronic","value":"9783540483830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57887-0_127","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:38:56Z","timestamp":1330263536000},"page":"822-843","source":"Crossref","is-referenced-by-count":5,"title":["Relating multifunctions and predicate transformers through closure operators"],"prefix":"10.1007","author":[{"given":"Marcello M.","family":"Bonsangue","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,5,31]]},"reference":[{"key":"41_CR1","unstructured":"S. Abramsky. Domain Theory and the Logic of Observable Properties. PhD thesis, Queen Mary College, University of London, 1987."},{"issue":"4","key":"41_CR2","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/6490.6494","volume":"33","author":"K.R. Apt","year":"1986","unstructured":"K.R. Apt and G. Plotkin. Countable nondeterminism and random assignment. Journal of the ACM, 33(4):724\u2013767, October 1986.","journal-title":"Journal of the ACM"},{"key":"41_CR3","unstructured":"C. Berge. Topological Spaces \u2014 including a treatment of Multi-valued Functions, Vector Spaces and Convexity. Oliver & Boyd, 1963. English translation of\u2019 Espaces Topologiques: Fonctions Multivoques\u2019 published by Dunod, Paris 1959."},{"key":"41_CR4","first-page":"431","volume-title":"Proc. of the IFIP Working Conference on on Formal Description of Programming Concepts \u2014 II","author":"E. Best","year":"1983","unstructured":"E. Best. Relational semantic of concurrent programs (with some applications). In D. Bjorner, editor, Proc. of the IFIP Working Conference on on Formal Description of Programming Concepts \u2014 II, pages 431\u2013452, Garmisch-Partenkirchen, FRG, 1983. North-Holland Publishing Company."},{"key":"41_CR5","unstructured":"M.M. Bonsangue, B. Jacobs, and J.N. Kok. Duality beyond sober spaces: Topological spaces and observation frames. Presented at the workshop on Topology and Completion in Semantics, Chartres, France, 18\u201320 Nov. '93. Available through anonymous ftp from ftp.cs.vu.nl as \/pub\/bonsangue\/duality.ps.Z, 1993."},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"M. Bonsangue and J.N. Kok. Semantics, orderings and recursion in the weakest precondition calculus. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Rex Workshop '92 'semantics: Foundations and Applications', number 666 in Lecture Notes in Computer Science, pages 91\u2013109, 1992. Extended version available through anonymous ftp from ftp.cs.vu.nl as \/pub\/bonsangue\/wp.ps.Z.","DOI":"10.1007\/3-540-56596-5_30"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"M. Bonsangue and J.N. Kok. Isomorphisms between state and predicate transformers. In A.M. Borzyszkowski and S. Sokolowoski, editors, MFCS '93, Gdansk, Poland, number 711 in Lecture Notes in Computer Science, pages 301\u2013310, 1993. Extended version available through anonymous ftp from ftp.cs.vu.nl as \/pub\/bonsangue\/isomorph.ps.Z.","DOI":"10.1007\/3-540-57182-5_22"},{"key":"41_CR8","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"41_CR9","unstructured":"B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990."},{"key":"41_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"E.W. Dijkstra and C.S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, New York, 1990."},{"key":"41_CR11","unstructured":"J. Dugundji. Topology. Allyn and Bacon, inc., 1966."},{"key":"41_CR12","unstructured":"R. Engelking. General Topology. Polish Scientific Publishers, 1977."},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"G. Gierz, K.H. Hofmann, K. Keimel, J. Lawson, M. Mislove, and D. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"41_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0167-6423(91)90037-X","volume":"17","author":"R. Heckmann","year":"1991","unstructured":"R. Heckmann. Power domains constructions. Science of Computer Programming, 17:77\u2013117, 1991.","journal-title":"Science of Computer Programming"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"K. Hoffman and M. Mislove. Local compactness and continuous lattices. In Banaschewski and Hoffman, editors, Continuous lattices \u2014 Proceedings Bremen 1979, number 871 in Lecture Notes in Mathematics, pages 209\u2013248, 1981.","DOI":"10.1007\/BFb0089908"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"A. Jung and S. Abramsky. Domain theory. To appear in the Handbook of Logic in Computer Science, vol. III \u2014 Semantics Structure, S. Abramsky, D.M. Gabbay and T.S.E. Malbaum eds., 1994.","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"P.T. Johnstone. Scott is not always sober. In Banaschewski and Hoffman, editors, Continuous lattices \u2014 Proceedings Bremen 1979, number 871 in Lecture Notes in Mathematics, pages 282\u2013283, 1981.","DOI":"10.1007\/BFb0089911"},{"key":"41_CR18","unstructured":"P.T. Johnstone. Stone Spaces. Cambridge University Press, 1982."},{"key":"41_CR19","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/3-540-19020-1_9","volume":"298","author":"R. E. Kent","year":"1987","unstructured":"R. E. Kent. The Metric Closure Powerspace Construction. In Proceedings of the 3th MFPS, 1987, number 298 in Lecture Notes in Computer Science, pages 173\u2013199, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"41_CR20","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF02485815","volume":"6","author":"G. Markowsky","year":"1976","unstructured":"G. Markowsky. Chain-complete posets and directed sets with applications. Algebra Universalis, 6:53\u201368, 1976.","journal-title":"Algebra Universalis"},{"key":"41_CR21","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1090\/S0002-9947-1951-0042109-4","volume":"71","author":"E. Michael","year":"1951","unstructured":"E. Michael. Topologies on a space of subsets. Transactions AMS, 71:152\u2013182, 1951.","journal-title":"Transactions AMS"},{"key":"41_CR22","unstructured":"S.B. Nadler. Hyperspaces of Sets. Pure and Applied Mathematics. Marcel Dekker, 1978."},{"issue":"4","key":"41_CR23","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G. Nelson","year":"1989","unstructured":"G. Nelson. A generalization of Dijkstra's calculus. ACM Transaction on Programming Languages and Systems, 11-4:517\u2013561, 1989.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"41_CR24","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G.D. Plotkin","year":"1976","unstructured":"G.D. Plotkin. A powerdomain construction. SIAM J. Comput., 5:452\u2013487, 1976.","journal-title":"SIAM J. Comput."},{"key":"41_CR25","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/3-540-10007-5_48","volume":"86","author":"G.D. Plotkin","year":"1979","unstructured":"G.D. Plotkin. Dijkstra's predicate transformer and Smyth's powerdomain. In Proceedings of the Winter School on Abstract Software Specification, volume 86 of Lecture Notes in Computer Science, pages 527\u2013553, 1979.","journal-title":"Lecture Notes in Computer Science"},{"key":"41_CR26","unstructured":"G.D. Plotkin. Post-graduate lecture notes in advanced domain theory (incorporating the \u201cPisa Notes\u201d). Department of Computer Science, Univ. of Edinburgh, 1981."},{"issue":"1","key":"41_CR27","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"M.B. Smyth. Power domains. J. Comput. Syst. Sci., 16, 1:23\u201336, 1978.","journal-title":"J. Comput. Syst. Sci."},{"key":"41_CR28","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1007\/BFb0036946","volume":"154","author":"M.B. Smyth","year":"1983","unstructured":"M.B. Smyth. Power domains and predicate transformers: A topological view. In Proceedings of LCALP '83 (Barcelona), volume 154 of Lecture Notes in Computer Science, pages 662\u2013675, 1983.","journal-title":"Lecture Notes in Computer Science"},{"key":"41_CR29","unstructured":"M.B. Smyth. Topology. In S. Abramsky, D.M. Gabbay, and T.S.E. Malbaum, editors, Handbook of Logic in Computer Science, volume I \u2014 Background: Mathematical Structures, pages 641\u2013761. Clarendon Press, 1992."},{"key":"41_CR30","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M.B. Smyth","year":"1982","unstructured":"M.B. Smyth and G.D. Plotkin. The category-theoretic solution of recursive domain equations. SIAM J. Comput., 11:761\u2013783, 1982.","journal-title":"SIAM J. Comput."},{"key":"41_CR31","unstructured":"S.J. Vickers. Topology via Logic, volume 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57887-0_127.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:38:24Z","timestamp":1713627504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57887-0_127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578871","9783540483830"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-57887-0_127","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}