@第{zbMATH06323268条，作者={Francalanza、Adrian和Devries、Edsko和Hennessy、Matthew}，Title={基于通道的并发中显式资源管理的组合推理}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN＝{1860-5974}，体积={10}，数字={2}，页码={51}，注={Id/No 15}，年份={2014}，语言={英语}，DOI＝{10.2168/LMCS-10（2:15）2014}，关键词={68Q85}，zbMATH＝{6323268}，Zbl={1335.68170}}