@第{zbMATH02186294条，作者={Tarasyuk，I.V.}，标题={概率{{\（\tau\）}}-互模拟等价物}的逻辑表征，FJournal={新西伯利亚计算中心（NCC）和A.P.Ershov信息系统研究所（IIS）联合公报。系列：计算机科学}，日志={Jt.Bull.NCC IIS，Ser.Comput.Sci.}，ISSN={1680-6972}，体积={20}，页码={97--111}，年份={2004}，语言={英语}，关键词={68Q85,60K20,60J20,68Q10,68Q60}，zbMATH＝{2186294}，Zbl={1090.68073}}