Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes

DOI10.1145/2933575.2933610zbMath1401.68239OpenAlexW2284153224MaRDI QIDQ4635932

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

zbMATH Keywords

Markov processescompositionalitymartingale convergenceprobabilistic computationKolmogorov extension

Mathematics Subject Classification ID

Martingales with discrete parameter (60G42) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50) Transition functions, generators and resolvents (60J35) Foundations of stochastic processes (60G05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Borel kernels and their approximation, categorically

This page was built for publication: Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes