Eilenberg-Moore algebras for stochastic relations

Information and Computation

Volumn 204, Issue 12, 2006, Pages 1756-1781

  Doberkat, Ernst Erich ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Computationthrough monads; Convexity; Eilenberg Moore algebras; Girymonad; Positive convex structures; Stochastic powerdomain; Stochasticrelations

Indexed keywords

ALGEBRA;

COMPUTATIONTHROUGH MONADS; CONVEXITY; EILENBERG-MOORE ALGEBRAS; GIRYMONAD; POSITIVE CONVEX STRUCTURES; STOCHASTIC POWERDOMAIN; STOCHASTICRELATIONS;

STOCHASTIC SYSTEMS;

EID: 84855196000     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2006.09.001     Document Type: Article

References (28)

1. E. Moggi, Notions of computation and monads, Inform. Comput. 93(1991) 55-92. (Pubitemid 21700565)
2. S. MacLane, Categories for the Working Mathematician, Graduate Texts in Mathematics, Springer-Verlag, Berlin, 1997.
3. V. V. Fedorchuk, Probability measures in topology, Russ. Math. Surv. (1991) 45-93
4. (Uspekhi Mat. Nauk 46:1(1991), 41-80).
5. T. Swirszcz, Monadic functors and convexity, Bull. Acad. Pol. Sci. Ser. Sci. Math. Astronom. Phys. 22(1974) 39-42.
6. O. R. Nykyforchyn, Semiconvex compacta, Comment. Math. Univ. Carolinae 38(3) (1997) 761-774. (Pubitemid 128027171)
7. K. R. Parthasarathy, Probability Measures on Metric Spaces, Academic Press, New York, 1967.
8. P. Billingsley, Probability and Measure, John Wiley and Sons, New York, 1995.
9. M. Giry, A categorical approach to probability theory, in: Categorical Aspects of Topology and Analysis, No. 915 in Lect. Notes Math., Springer-Verlag, Berlin, 1981, pp. 68-85.
10. D. Pumplün, Positively convex modules and ordered normed linear spaces, J. Convex Anal. 10(1) (2003) 109-127. (Pubitemid 37072974)
11. S. M. Srivastava, A Course on Borel Sets, Graduate Texts in Mathematics, Springer-Verlag, Berlin, 1998.
12. J. Desharnais, A. Edalat, P. Panangaden, Bisimulation of labelled Markov-processes, Inform. Comput. 179(2) (2002) 163-193.
13. E.-E. Doberkat, Stochastic relations: congruences, bisimulations and the Hennessy-Milner theorem, SIAM J. Comput. 35(3) (2006) 590-626. (Pubitemid 43952263)
14. C. Jones, G. Plotkin, A probabilistic powerdomain of evaluations, in: Proc. LICS'89, IEEE Computer Society Press, 1989, pp. 186-195.
15. R. Engelking, General Topology, Revised and Completed Edition, vol. 6 of Sigma Series in Pure Mathematics, Heldermann-Verlag, Berlin, 1989.
16. D. H. Fremlin, Measure Theory-vol. 4: Topological Measure Spaces, Torres Fremlin, Colchester, 2003.
17. C. Morgan, A. McIver, K. Seidel, Probabilistic predicate transformers, ACM Trans. Prog. Lang. Syst. 18(3) (1996) 325-353. (Pubitemid 126417403)
18. R. Heckmann, Probabilistic domains, in: S. Tison (Ed.), Proc. 19th Int. Colloquium on Trees in Algebra and Programming, No. 787 in Lect. Notes Comp. Sci., Springer-Verlag, Berlin, 1994, pp. 142-156.
19. P. Panangaden, Probabilistic relations, in: C. Baier, M. Huth, M. Kwiatkowska, M. Ryan (Eds.), Proc. PROBMIV, 1998, pp. 59-74.
20. *-categories, J. Pure Appl. Algebra 143(1-3) (1999) 3-47.
21. E.-E. Doberkat, Pipelines: Modelling a software architecture through relations, Acta Inform. 40(2003) 37-79. (Pubitemid 41523040)
22. E.-E. Doberkat, Semi-pullbacks and bisimulations in categories of stochastic relations, in: Proc. ICALP'03, vol. 2719 of Lect. Notes Comp. Sci., Springer-Verlag, Berlin, 2003, pp. 996-1007.
23. E.-E. Doberkat, The Hennessy-Milner equivalence for continuous-times stochastic logic with mu-operator, J. Appl. Logic (2006) (in print).
24. C. Jones, Probabilistic non-determinism, Ph. D. thesis, Univ. Edinburgh, 1989.
25. F. van Breugel, Robust Models of Probabilistic Nondeterminism, Tech. Rep., Department of Computer Science, York University, Toronto, January 2005.
26. D. Pumplün, Eilenberg-Moore algebras revisited, Tech. Rep. 29, Fachbereich Mathematik und Informatik, Fern-Universität Hagen, 1988.
27. Z. Semadeni, Monads and their Eilenberg-Moore algebras in functional analysis, Queen's Papers Pure Appl. Math. 33.
28. B. Fuchssteiner, W. Lusky, Convex Cones, vol. 56 of North-Holland Mathematical Studies, North-Holland Publishing Company, Amsterdam, 1981.