@InCollection｛zbMATH0763314，作者={Cauli，Claudia和Piterman，Nir}，标题={概率{{\（\mu\）}}-演算和p-自动机}的等价性，BookTitle={自动化的实现和应用。2017年第22届国际会议，CIAA 2017，法国马内拉瓦尔，2017年6月27日至30日。诉讼}，国际标准图书编号={978-3-319-60133-5；978-3-3169-60134-2}，页码={64--75}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-60134-2_6}，关键词={68Q45,03B70,03D05,60J20,68Q60,68Q87}，zbMATH={6763314}，Zbl={1489.68122}}