@第{zbMATH03845038条，作者={Elrad，Tzilla and Francez，Nissim}，Title={通信进程的最弱前提语义}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={29}，页码={231--250}，年份={1984年}，语言={英语}，DOI＝{10.1016/0304-3975（84）90001-X}，关键词={68N25}，zbMATH={3845038}，Zbl={0532.68035}}