@收款{zbMATH06863539，作者={Kozen，Dexter}，标题={Kolmogorov扩张、鞅收敛和过程的合成}，BookTitle={2016年第31届ACM/IEEE计算机科学逻辑年会论文集，2016年7月5日至8日，美国纽约市，LICS 2016，国际标准图书编号={978-1-4503-4391-6}，页码={692--699}，年份={2016年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2933575.2933610}，关键词={68Q87,18A30,18C50,60G05,60G42,60J35,68N15,68Q10,68Q55}，zbMATH={6863539}，Zbl={1401.68239}}