@第{zbMATH06988678条，作者={Areias，Miguel and Rocha，Ricardo}，标题={隐式和显式并发表计算的表空间设计}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={18}，数字={5-6}，页码={950--992}，年份={2018年}，语言={英语}，DOI={10.1017/S147106841800039X}，关键词={68N17,68N19}，zbMATH={6988678}，Zbl=｛1452.68035｝}