@收款{zbMATH01418350，作者={de Boer，F.S.和de Roever，W.-P.和Hannemann，U.}，Title={同步通信进程的组合证明方法的语义基础}，BookTitle={计算机科学数学基础1999。第24届国际研讨会，MFCS’99，Szklarska Por\c{e} 巴，波兰，1999年9月6日至10日。诉讼程序}，国际标准图书编号={3-540-66408-4}，页码={343--353}，年份={1999}，出版商={柏林：施普林格}，语言={英语}，关键词={68Q85}，zbMATH={1418350}，Zbl={0959.68086}}