{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:34:27Z","timestamp":1770287667199,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540784975","type":"print"},{"value":"9783540784999","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78499-9_23","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T23:02:25Z","timestamp":1207090945000},"page":"318-333","source":"Crossref","is-referenced-by-count":9,"title":["Prevision Domains and Convex Powercones"],"prefix":"10.1007","author":[{"given":"Jean","family":"Goubault-Larrecq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, OUP, vol.\u00a03, pp. 1\u2013168 (1994)","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0304-3975(95)00050-7","volume":"151","author":"A. Edalat","year":"1995","unstructured":"Edalat, A.: Domain theory and integration. Theor. Comp. Sci.\u00a0151, 163\u2013193 (1995)","journal-title":"Theor. Comp. Sci."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous lattices and domains. In: Encycl. Mathematics and its Applications, CUP, vol.\u00a093 (2003)","DOI":"10.1017\/CBO9780511542725"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"764","DOI":"10.1007\/978-3-540-73420-8_66","volume-title":"Automata, Languages and Programming","author":"J. Goubault-Larrecq","year":"2007","unstructured":"Goubault-Larrecq, J.: Continuous capacities on continuous state spaces. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 764\u2013776. Springer, Heidelberg (2007)"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/978-3-540-74915-8_40","volume-title":"Computer Science Logic","author":"J. Goubault-Larrecq","year":"2007","unstructured":"Goubault-Larrecq, J.: Continuous previsions. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol.\u00a04646, pp. 542\u2013557. Springer, Heidelberg (2007)"},{"key":"23_CR6","unstructured":"Goubault-Larrecq, J.: Prevision domains and convex powercones. Research Report LSV-07-33, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France, 34\u00a0pages (October 2007)"},{"key":"23_CR7","unstructured":"Goubault-Larrecq, J.: Une introduction aux capacit\u00e9s, aux jeux et aux pr\u00e9visions (June 2007), http:\/\/www.lsv.ens-cachan.fr\/~goubault\/ProNobis\/pp_1_8.pdf"},{"key":"23_CR8","unstructured":"Jung, A.: Cartesian Closed Categories of Domains. PhD thesis, T.H. Darmstadt (1998)"},{"key":"23_CR9","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Domain-theoretic Methods in Probabilistic Processes","author":"A. Jung","year":"2004","unstructured":"Jung, A.: Stably compact spaces and the probabilistic powerspace construction. In: Desharnais, J., Panangaden, P. (eds.) CADE 1980. Electronic Notes in Theoretical Computer Science, vol.\u00a087, Elsevier, Amsterdam (2004)"},{"key":"23_CR10","unstructured":"Keimel, K., Plotkin, G.: Predicate transformers for convex powerdomains. Mathematical Structures in Computer Science, pages 42 (submitted, 2007)"},{"key":"23_CR11","unstructured":"Kirch, O.: Bereiche und Bewertungen. Diplom, T.H. Darmstadt (1993)"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0166-8641(97)00222-8","volume":"89","author":"M. Mislove","year":"1998","unstructured":"Mislove, M.: Topology, domain theory and theoretical computer science. Topology and Its Applications\u00a089, 3\u201359 (1998)","journal-title":"Topology and Its Applications"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/3-540-44618-4_26","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Mislove","year":"2000","unstructured":"Mislove, M.: Nondeterminism and probabilistic choice: Obeying the law. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 350\u2013364. Springer, Heidelberg (2000)"},{"issue":"1","key":"23_CR14","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1017\/S1446788700001609","volume":"68","author":"W. Roth","year":"2000","unstructured":"Roth, W.: Hahn-Banach type theorems for locally convex cones. J. Australian Math. Soc.\u00a068(1), 104\u2013125 (2000)","journal-title":"J. Australian Math. Soc."},{"key":"23_CR15","unstructured":"Tix, R.: Stetige Bewertungen auf topologischen R\u00e4umen. Diplom, T.H. Darmstadt (June 1995)"},{"key":"23_CR16","unstructured":"Tix, R.: Continuous D-Cones: Convexity and Powerdomain Constructions. PhD thesis, T.U. Darmstadt (1999)"},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.entcs.2004.06.063","volume":"129","author":"R. Tix","year":"2005","unstructured":"Tix, R., Keimel, K., Plotkin, G.: Semantic domains for combining probability and non-determinism. Electronic Notes in Theor. Comp. Sci.\u00a0129, 1\u2013104 (2005)","journal-title":"Electronic Notes in Theor. Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78499-9_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,24]],"date-time":"2024-02-24T09:58:15Z","timestamp":1708768695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78499-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540784975","9783540784999"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78499-9_23","relation":{},"subject":[]}}