@收款{zbMATH07628070，作者={Pous，Damien and Rot，Jurriaan and Turkenburg，Ruben}，Title={通过因果转换实现向上担保}，BookTitle={计算机科学中的协同代数方法。第16届IFIP WG 1.3国际研讨会，CMCS 2022，与ETAPS 2022联合举办，德国慕尼黑，2022年4月2--3日。诉讼程序}，国际标准图书编号={978-3-031-10735-1；978-3-331-10736-8}，页码={133--154}，年份＝{2022}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-031-10736-8_7}，关键词={68Q65}，zbMATH=｛7628070｝}