@第{zbMATH05586768条，作者={Cockett，J.R.B.和Pastro，Craig}，标题={消息传递的逻辑}，FJournal={计算机编程科学}，Journal＝{科学计算程序}，ISSN＝{0167-6423}，体积={74}，数字={8}，页码={498--533}，年份={2009}，语言={英语}，DOI={10.1016/j.scico.2007.11.005}，关键词={68N19,03F52,68Q85}，zbMATH={5586768}，Zbl={1175.68105}}