Kolmogorov extension, martingale convergence, and compositionality of processes
DOI10.1145/2933575.2933610zbMATH Open1401.68239OpenAlexW2284153224MaRDI QIDQ4635932FDOQ4635932
Authors: Dexter Kozen 
Publication date: 23 April 2018
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2933575.2933610
Recommendations
- A generalization of Kolmogorov's extension theorem and an application to the construction of stochastic processes with random time domains
- A probability monad as the colimit of spaces of finite samples
- A Kolmogorov extension theorem for POVMs
- An Elementary Approach to the Daniell-Kolmogorov Theorem and Some Related Results
- scientific article; zbMATH DE number 1324650
Theory of programming languages (68N15) Martingales with discrete parameter (60G42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Transition functions, generators and resolvents (60J35) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Foundations of stochastic processes (60G05)
Cited In (3)
This page was built for publication: Kolmogorov extension, martingale convergence, and compositionality of processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635932)
