@第{zbMATH06360844条，作者={Din，Crystal Chang和Owe，Olaf}，Title={一个健全完整的推理系统，用于与共享未来进行异步通信}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积＝{83}，数字={5-6}，页码={360--383}，年份={2014}，语言={英语}，DOI={10.1016/j.jlamp.2014.03.003}，关键词={68Q85,03B70,68N30,68Q55}，zbMATH＝{6360844}，Zbl={1371.68190}}