{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:35:27Z","timestamp":1725489327912},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442400"},{"type":"electronic","value":"9783540457930"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45793-3_15","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:03:26Z","timestamp":1187265806000},"page":"216-232","source":"Crossref","is-referenced-by-count":6,"title":["A Logic for Probabilities in Semantics"],"prefix":"10.1007","author":[{"given":"M. Andrew","family":"Moshier","sequence":"first","affiliation":[]},{"given":"Achim","family":"Jung","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"15_CR1","unstructured":"S. Abramsky. The lazy lambda calculus. In D. Turner, editor, Research Topics in Functional Programming, pages 65\u2013117. Addison Wesley, 1990."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/inco.1991.9999","volume":"92","author":"S. Abramsky","year":"1991","unstructured":"S. Abramsky. A domain equation for bisimulation. Information and Computation, 92:161\u2013218, 1991.","journal-title":"Information and Computation"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1\u2013168. Clarendon Press, 1994.","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"15_CR4","unstructured":"M. Alvarez-Manilla. Measure theoretic results for continuous valuations on partially ordered spaces. PhD thesis, Imperial College, University of London, 2001."},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1112\/S0024610700008681","volume":"61","author":"M. Alvarez-Manilla","year":"2000","unstructured":"M. Alvarez-Manilla, A. Edalat, and N. Saheb-Djahromi. An extension result for continuous valuations. Journal of the London Mathematical Society, 61:629\u2013640, 2000.","journal-title":"Journal of the London Mathematical Society"},{"key":"15_CR6","unstructured":"M. Alvarez-Manilla, A. Jung, and K. Keimel. Valuations on a stably compact space. In preparation."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation for labelled Markov processes. Information and Computation, to appear.","DOI":"10.1006\/inco.2001.2962"},{"key":"15_CR8","unstructured":"Josee Desharnais, Abbas Edalat, and Prakash Panangaden. Bisimulation for labelled markov processes. In Proceedings of the 12th IEEE Symposium on Logic in Computer Science, pages 149\u2013158, 1997."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Josee Desharnais, Abbas Edalat, and Prakash Panangaden. A logical characterization of bisimulation for labeled markov processes. In Logic in Computer Science, pages 478\u2013487, 1998.","DOI":"10.1109\/LICS.1998.705681"},{"volume-title":"A Discipline of Programming","year":"1976","author":"E. W. Dijkstra","key":"15_CR10","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976."},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1006\/inco.1995.1096","volume":"120","author":"A. Edalat","year":"1995","unstructured":"A. Edalat. Dynamical systems, measures and fractals via domain theory. Information and Computation, 120(1):32\u201348, 1995.","journal-title":"Information and Computation"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. A Compendium of Continuous Lattices. Springer Verlag, 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. Continuous Lattices and Domains. Cambridge University Press, 2002. Revised edition of [12], forthcoming.","DOI":"10.1017\/CBO9780511542725"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"R. Heckmann. Spaces of valuations. In S. Andima, R. C. Flagg, G. Itzkowitz, P. Misra, Y. Kong, and R. Kopperman, editors, Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine, volume 806 of Annals of the New York Academy of Sciences, pages 174\u2013200, 1996.","DOI":"10.1111\/j.1749-6632.1996.tb49168.x"},{"key":"15_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-58027-1_20","volume-title":"Mathematical Foundations of Programming Semantics VIII","author":"R. Heckmann","year":"1994","unstructured":"Reinhold Heckmann. Probabilistic power domains, information systems, and locales. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Semantics VIII, pages 410\u2013437, 1994. In LNCS 802:1994."},{"key":"15_CR16","series-title":"PhD thesis","volume-title":"Probabilistic Non-Determinism","author":"C. Jones","year":"1990","unstructured":"C. Jones. Probabilistic Non-Determinism. PhD thesis, University of Edinburgh, Edinburgh, 1990. Also published as Technical Report No. CST-63-90."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"C. Jones and G. Plotkin. A probabilistic powerdomain of evaluations. In Proceedings of the 4th Annual Symposium on Logic in Computer Science, pages 186\u2013195. IEEE Computer Society Press, 1989.","DOI":"10.1109\/LICS.1989.39173"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"A. Jung, M. Kegelmann, and M. A. Moshier. Multi lingual sequent calculus and coherent spaces. In S. Brookes and M. Mislove, editors, 13th Conference on Mathematical Foundations of Programming Semantics, volume 6 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers B.V., 1997. 18 pages.","DOI":"10.1016\/S1571-0661(05)80160-4"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"A. Jung, M. Kegelmann, and M. A. Moshier. Stably compact spaces and closed relations. In S. Brookes and M. Mislove, editors, 17th Conference on Mathematical Foundations of Programming Semantics, volume 45 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers B.V., 2001. 24 pages.","DOI":"10.1016\/S1571-0661(04)80964-2"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"A. Jung and Ph. S\u00fcnderhauf. On the duality of compact vs. open. In S. Andima, R. C. Flagg, G. Itzkowitz, P. Misra, Y. Kong, and R. Kopperman, editors, Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine, volume 806 of Annals of the New York Academy of Sciences, pages 214\u2013230, 1996.","DOI":"10.1111\/j.1749-6632.1996.tb49171.x"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"A. Jung and R. Tix. The troublesome probabilistic powerdomain. In A. Edalat, A. Jung, K. Keimel, and M. Kwiatkowska, editors, Proceedings of the Third Workshop on Computation and Approximation, volume 13 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers B.V., 1998. 23 pages.","DOI":"10.1016\/S1571-0661(05)80216-6"},{"key":"15_CR22","doi-asserted-by":"crossref","first-page":"369","DOI":"10.3233\/FI-1999-37403","volume":"37","author":"A. Jung","year":"1999","unstructured":"Achim Jung, Mathias Kegelmann, and M. Andrew Moshier. Multi lingual sequent calculus and coherent spaces. Fundamenta Informaticae, 37:369\u2013412, 1999.","journal-title":"Fundamenta Informaticae"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Achim Jung, Matthias Kegelmann, and M. Andrew Moshier. Stably compact spaces and closed relations. In Stephen Brookes and Michael Mislove, editors, Electronic Notes in Theoretical Computer Science, volume 45. Elsevier Science Publishers, 2001.","DOI":"10.1016\/S1571-0661(04)80964-2"},{"issue":"1-2","key":"15_CR24","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1023\/A:1008644319842","volume":"7","author":"M. Kegelmann","year":"1999","unstructured":"M. Kegelmann. Factorisation systems on domains. Applied Categorical Structures, 7(1-2):113\u2013128, 1999.","journal-title":"Applied Categorical Structures"},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/0022-0000(81)90036-2","volume":"22","author":"D. Kozen","year":"1981","unstructured":"D. Kozen. Semantics of probabilistic programs. Journal of Computer and System Sciences, 22:328\u2013350, 1981.","journal-title":"Journal of Computer and System Sciences"},{"key":"15_CR26","unstructured":"J. D. Lawson. Valuations on continuous lattices. In Rudolf-Eberhard Hoffmann, editor, Continuous Lattices and Related Topics, volume 27 of Mathematik Arbeitspapiere, pages 204\u2013225. Universit\u00e4t Bremen, 1982."},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"J.R. Longley. When is a functional program not a functional program? In Proceedings of Fourth ACM SIGPLAN International Conference on Functional Programming. ACM Press, 1999.","DOI":"10.1145\/317636.317775"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Annabelle McIver. A generalisation of stationary distributions, and probabilistic program algebra. In Stephen Brookes and Michael Mislove, editors, Electronic Notes in Theoretical Computer Science, volume 45. Elsevier Science Publishers, 2001.","DOI":"10.1016\/S1571-0661(04)80967-8"},{"key":"15_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/3-540-44618-4_26","volume-title":"Proceedings 11th CONCUR","author":"M. W. Mislove","year":"2000","unstructured":"M. W. Mislove. Nondeterminism and probabilistic choice: Obeying the law. In Proceedings 11th CONCUR, volume 1877 of Lecture Notes in Computer Science, pages 350\u2013364. Springer Verlag, 2000."},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Carroll Morgan, Annabelle McIver, and Karen Seidel. Probabilistic predicate transformers. ACM Transactions on Programming Languages and Systems, 18(3):325\u2013353, May 1996.","DOI":"10.1145\/229542.229547"},{"key":"15_CR31","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0304-3975(80)90003-1","volume":"12","author":"N. Saheb-Djahromi","year":"1980","unstructured":"N. Saheb-Djahromi. CPO\u2019s of measures for nondeterminism. Theoretical Computer Science, 12:19\u201337, 1980.","journal-title":"Theoretical Computer Science"},{"key":"15_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/BFb0036946","volume-title":"Automata, Languages and Programming","author":"M. B. Smyth","year":"1983","unstructured":"M. B. Smyth. Powerdomains and predicate transformers: a topological view. In J. Diaz, editor, Automata, Languages and Programming, volume 154 of Lecture Notes in Computer Science, pages 662\u2013675. Springer Verlag, 1983."},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"M. B. Smyth. Totally bounded spaces and compact ordered spaces as domains of computation. In G. M. Reed, A. W. Roscoe, and R. F. Wachter, editors, Topology and Category Theory in Computer Science, pages 207\u2013229. Clarendon Press, 1991.","DOI":"10.1093\/oso\/9780198537601.003.0008"},{"key":"15_CR34","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1112\/jlms\/s2-45.2.321","volume":"45","author":"M. B. Smyth","year":"1992","unstructured":"M. B. Smyth. Stable compactification I. Journal of the London Mathematical Society, 45:321\u2013340, 1992.","journal-title":"Journal of the London Mathematical Society"},{"key":"15_CR35","unstructured":"M. B. Smyth. Topology. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, vol. 1, pages 641\u2013761. Clarendon Press, 1992."},{"key":"15_CR36","unstructured":"R. Tix. Continuous D-Cones: Convexity and Powerdomain Constructions. PhD thesis, Technische Universit\u00e4t Darmstadt, 1999."},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"D. Varacca. The powerdomain of indexed valuations. In 17th Logic in Copmuter Science Conference. IEEE Computer Society Press, 2002.","DOI":"10.1109\/LICS.2002.1029838"},{"key":"15_CR38","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","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45793-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T12:17:31Z","timestamp":1708172251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45793-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442400","9783540457930"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-45793-3_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}