Derandomizing probabilistic semantics through Eilenberg-Moore algebras for the Giry monad
暂无分享,去创建一个
[1] Claire Jones,et al. Probabilistic non-determinism , 1990 .
[2] O. Gaans. Probability measures on metric spaces , 2022 .
[3] P. Billingsley,et al. Probability and Measure , 1980 .
[4] Ernst-Erich Doberkat,et al. Factoring stochastic relations , 2004, Inf. Process. Lett..
[5] Gregor Engels,et al. Ergebnisbericht des Jahres 2001 des Projektes MuSofT Multimedia in der SoftwareTechnik , 2003 .
[6] Ernst-Erich Doberkat,et al. An Average Case Analysis of Floyd's Algorithm to Construct Heaps , 1984, Inf. Control..
[7] V. Fedorchuk,et al. Probability measures in topology , 1991 .
[8] Volker Gruhn,et al. Autonomies in a Software Process Landscape , 2002 .
[9] Klaus Alfert,et al. A Framework for Lightweight Object-Oriented Design Tools , 2003 .
[10] Abbas Edalat,et al. Bisimulation for labelled Markov processes , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[11] David Monniaux,et al. Backwards Abstract Interpretation of Probabilistic Programs , 2001, ESOP.
[12] Zbigniew Semadeni,et al. Monads and their Eilenberg-Moore algebras in functional analysis , 1973 .
[13] Eugenio Moggi,et al. Notions of Computation and Monads , 1991, Inf. Comput..
[14] Gregor Engels,et al. Abschlussbericht des Projektes MuSoft - Multimedia in der SoftwareTechnik , 2004 .
[15] Dieter Pumplün,et al. Positively Convex Modules and Ordered Normed Linear Spaces , 2003 .
[16] Dexter Kozen,et al. Semantics of probabilistic programs , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[17] Gregor Engels,et al. Ergebnisbericht des Jahres 2002 des Projektes "MuSofT-Multimedia in der SoftwareTechnik" , 2003 .
[18] S. Lane. Categories for the Working Mathematician , 1971 .
[19] Abbas Edalat,et al. Bisimulation for Labelled Markov Processes , 2002, Inf. Comput..
[20] P. Rousseeuw,et al. Wiley Series in Probability and Mathematical Statistics , 2005 .
[21] Gregor Engels,et al. Anforderungen an eine eLearning-Plattform - Innovation und Integration , 2003 .
[22] Alexander Fronk,et al. Towards The Algebraic Analysis Of Hyperlink Structures , 2003, Int. J. Softw. Eng. Knowl. Eng..
[23] Klaus Alfert,et al. Vitruv: specifying temporal aspects of multimedia presentations: a transformational approach based on intervals , 2003 .
[24] Georgios Lajios,et al. Zur kategoriellen Beschreibung von Schichtenarchitekturen , 2005 .
[25] P. Panangaden. Probabilistic Relations , 1998 .
[26] Ernst-Erich Doberkat. Pipelines: Modelling a software architecture through relations , 2003, Acta Informatica.
[27] Michèle Giry,et al. A categorical approach to probability theory , 1982 .
[28] P. Panangaden,et al. Nuclear and trace ideals in tensored-categories , 1998, math/9805102.
[29] Ernst-Erich Doberkat,et al. Continuous models that are equivalent to randomness for the analysis of many sorting algorithms , 1983, Computing.
[30] Ernst-Erich Doberkat,et al. Semi-pullbacks and Bisimulations in Categories of Stochastic Relations , 2003, ICALP.