@收款{zbMATH07662152，作者={Girault，Alain和G{\“o}ssler，Gregor和Guerraoui，Rachid和Hamza，Jad和Seredinschi，Dragos-Adrian}，Title={分布式系统中单调前缀的一致性}，BookTitle={分布式对象、组件和系统的形式化技术。第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分，于2018年6月18-21日在西班牙马德里举行。诉讼}，ISBN＝{978-3-319-92611-7；978-3-319-92612-4}，页码={41--57}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-92612-4_3}，关键词={68M14}，zbMATH={7662152}，Zbl={1508.68023}}