Retraction notice to "Semantic Domains for Combining Probability and Non-Determinism" [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104] (DOI:10.1016/j.entcs.2004.06.063);Semantic domains for combining probability and non-determinism

Electronic Notes in Theoretical Computer Science

Volumn 129, Issue , 2005, Pages 1-104

  Tix, Regina ^a   Keimel, Klaus ^a   Plotkin, Gordon ^b  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Denotational Semantics; Directed Complete Partially Ordered Cones; Hahn Banach Theorems; Nondeterminism; Probabilistic Nondeterminism; Semantic Domains

Indexed keywords

FUNCTIONS; LINEAR SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; PROBABILITY; THEOREM PROVING; TOPOLOGY; VECTORS;

DENOTATIONAL SEMANTICS; DIRECTED COMPLETE PARTIALLY ORDERED CONES; HAHN-BANACH THEOREMS; NONDETERMINISM; PROBABILISTIC NONDETERMINISM; SEMANTIC DOMAINS;

SEMANTICS;

EID: 16244377134     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.01.001     Document Type: Erratum

References (61)

1. S. Abramsky, and A. Jung S. Abramsky D.M. Gabbay T.S.E. Maibaum Domain theory Handbook of Logic in Computer Science volume 3 1994 Clarendon Press 1 168
2. M. Alvarez-Manilla, A. Edalat, and N. Saheb-Djahromi An extension result for continuous valuations Electronic Notes in Theoretical Computer Science 13 1998 10
3. M. Alvarez-Manilla, A. Jung, and K. Keimel The probabilistic powerspace for stably compact spaces Theoretical Computer Science 328 2004 221 244
4. P. Billingsley Probability and Measure 2nd edition 1986 J. Wiley & Sons xii+622pp
5. N. Boboc, G. Bucur, and A. Cornea Order and Convexity in Potential Theory: H-Cones Lecture Notes in Mathematics volume 853 1981 Springer Verlag
6. D.L. Cohn Measure Theory 1980 Birkhäuser x+373pp
7. B.A. Davey, and H.A. Priestley Introduction to Lattices and Order 1990 Cambridge University Press Cambridge
8. E.W. Dijkstra A Discipline of Programming 1976 Prentice-Hall Englewood Cliffs, New Jersey
9. A. Edalat Domain theory and integration Theoretical Computer Science 151 1995 163 193
10. A. Edalat Dynamical systems, measures and fractals via domain theory Information and Computation 120 1 1995 32 48
11. A. Edalat Power domains and iterated function systems Information and Computation 124 1996 182 197
12. Th. Erker, M.H. Escardó, and K. Keimel The way-below relation of function spaces over semantic domains Topology and its Applications 89 1998 61 74
13. B. Fuchssteiner, and W. Lusky Convex Cones volume 56 1981 North-Holland
14. G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D.S. Scott A Compendium of Continuous Lattices 1980 Springer Verlag Berlin
15. G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M.W. Mislove, and D.S. Scott Continuous Lattices and Domains Encyclopedia of Mathematics and its Applications volume 93 2003 Cambridge University Press Cambridge
16. P.R. Halmos Measure Theory 1950 D. van Norstrand Company xii+304pp
17. R. Heckmann. Power Domain Constructions. PhD thesis, Universität des Saarlandes, 1990
18. R. Heckmann Spaces of valuations S. Andima R.C. Flagg G. Itzkowitz Y. Kong R. Kopperman P. Misra Papers on General Topology and Applications Annals of the New York Academy of Sciences volume 806 1996 174 200
19. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice Hall International
20. K.H. Hofmann, and M. Mislove Local compactness and continuous lattices B. Banaschewski R.-E. Hoffmann Continuous Lattices, Proceedings Bremen 1979 Lecture Notes in Mathematics volume 871 1981 Springer Verlag 209 248
21. He Jifeng, A. McIver, and K. Seidel Probabilistic models for the guarded command language Science of Computer Programming 28 1997 171 192
22. P.T. Johnstone Scott is not always sober B. Banaschewski R.-E. Hoffmann Continuous Lattices Lecture Notes in Mathematics volume 871 1981 Springer Verlag 282 283
23. C. Jones. Probabilistic non-determinism. PhD thesis, Department of Computer Science, University of Edinburgh, Edinburgh, 1990. 201pp
24. C. Jones, and G. Plotkin A probabilistic powerdomain of evaluations Proceedings of the Fourth Annual Symposium on Logic in Computer Science 1989 IEEE Computer Society Press 186 195
25. A. Jung, and R. Tix The troublesome probabilistic powerdomain A. Edalat A. Jung K. Keimel M. Kwiatkowska Proceedings of the Third Workshop on Computation and Approximation Electronic Notes in Theoretical Computer Science volume 13 1998 Elsevier Science Publishers B.V. 1998. Available from http://www.elsevier.nl/lcoate/entcs/volume13.html, 23pp.).
26. K. Keimel, and J. Paseka A direct proof of the Hofmann-Mislove theorem Proceedings of the AMS 120 1994 301 303
27. K. Keimel, and W. Roth Ordered Cones and Approximation Lecture Notes in Mathematics volume 1517 1992 Springer Verlag vi+134pp
28. K. Keimel and R. Tix. Valuations and measures. unpublished, 1996
29. O. Kirch. Bereiche und Bewertungen. Master's thesis, Technische Hochschule Darmstadt, June 1993. 77pp., http://www.mathematik.tu-darmstadt.de/- ags/-ag14/~papers/kirch/
30. D. Kozen Semantics of probabilistic programs J. Comp. System Sci. 22 1981 328 350
31. J.D. Lawson The duality of continuous posets Houston Journal of Mathematics 5 1979 357 394
32. J.D. Lawson Valuations on continuous lattices R.-E. Hoffman Continuous Lattices and Related Topics Mathematische Arbeitspapiere volume 27 1982 Universität Bremen
33. J.D. Lawson The versatile continuous order M. Main A. Melton M. Mislove D. Schmidt Mathematical Foundations of Programming Language Semantics Lecture Notes in Computer Science volume 298 1988 Springer Verlag 134 160
34. S. Mac Lane Categories for the Working Mathematician 1971 Springer Verlag Berlin
35. M. Main Free constructions of powerdomains A. Melton Mathematical Foundations of Programming Semantics Lecture Notes in Computer Science volume 239 1985 Springer Verlag 162 183
36. A. McIver, and C. Morgan Partial correctness for probablistic demonic programs Theoretical Computer Science 266 2001 513 541
37. M. Mislove Nondeterminism and probabilistic choice: Obeying the law Proc. 11th CONCUR Lecture Notes in Computer Science volume 1877 2000 Springer Verlag 350 364
38. C. Morgan, A. McIver, and K. Seidel Probabilistic predicate transformers ACM Transactions on Programming Languages and Systems 8 1 January 1999 1 30
39. L. Nachbin Topology and Order 1965 Von Nostrand Princeton, N.J., Reprinted by Robert E. Kreiger Publishing Co., Huntington, NY, 1967
40. G.D. Plotkin A powerdomain construction SIAM Journal on Computing 5 1976 452 487
41. G.D. Plotkin A powerdomain for countable non-determinism M. Nielsen E.M. Schmidt Automata, Languages and programming Lecture Notes in Computer Science volume 140 1982 EATCS, Springer Verlag 412 428
42. G.D. Plotkin. Probabilistic powerdomains. In Proceedings CAAP, pages 271-287, 1982
43. PSG. Probabilistic System Group. Collected reports. http://www.comlab.ox. ac.uk/-oucl/-groups/-probs/-bibliography.html
44. M. Rauch Stetige Verbände in der axiomatischen Potentialtheorie R.-E. Hoffman Continuous Lattices and Related Topics Mathematische Arbeitspapiere volume 27 1982 Universität Bremen
45. W. Roth Hahn-Banach type theorems for locally convex cones Journal of the Australian Mathematical Society 68 1 2000 104 125
46. W. Rudin Functional Analysis McGraw Hill Series in Higher Mathematics 1973 McGraw Hill New York
47. N. Saheb-Djahromi CPO's of measures for non-determinism Theoretical Computer Science 12 1 1980 19 37
48. A. Schalk. Algebras for Generalized Power Constructions. Doctoral thesis, Technische Hochschule Darmstadt, 1993. 174 pp
49. D.S. Scott. Outline of a mathematical theory of computation. In 4th Annual Princeton Conference on Information Sciences and Systems, pages 169-176, 1970
50. D.S. Scott Continuous lattices E. Lawvere Toposes, Algebraic Geometry and Logic Lecture Notes in Mathematics volume 274 1972 Springer Verlag 97 136
51. D.S. Scott A type theoretical alternative to ISWIM, CUCH, OWHY Theoretical Computer Science 121 1993 411 440 Reprint of a manuscript written in 1969
52. M.B. Smyth Powerdomains Journal of Computer and Systems Sciences 16 1978 23 36
53. M.B. Smyth Powerdomains and predicate transformers: a topological view J. Diaz Automata, Languages and Programming Lecture Notes in Computer Science volume 154 1983 Springer Verlag Berlin 662 675
54. R. Tix. Stetige Bewertungen auf topologischen Räumen. Master's thesis, Technische Hochschule Darmstadt, June 1995. 51pp., http://www. mathematik.tu-darmstadt.de/-ags/-ag14/-papers/-tix/
55. R. Tix. Continuous D-cones: Convexity and Powerdomain Constructions. PhD thesis, Technische Universität Darmstadt, 1999. Shaker Verlag, Aachen
56. R. Tix Some results on Hahn-Banach type theorems for continuous d-cones Theoretical Computer Science 264 2001 205 218
57. D. Varacca. The powerdomain of indexed valuations. Technical Report RS-02-38, BRICS, 2002. 54 pp
58. D. Varacca. The powerdomain of indexed valuations. In Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS), 2002
59. D. Varacca. Probability, Nondeterminism and Concurrency: Two denotational models for probabilistic computation. PhD thesis, University of Aarhus, 2003. 175 pp
60. G. Weidner. Bewertungen auf stetigen Bereichen. Master's thesis, Technische Hochschule Darmstadt, 1995. 45pp
61. G. Winskel A complete proof system for SCCS with modal assertions S.N. Maheshwari Foundations of Software technology and Theoretical Computer Science Lecture Notes in Computer Science volume 206 1985 Springer Verlag Berlin 392 410