@第{zbMATH06301606条，作者={Banks，C.J.和Stark，I.}，标题={上下文中的行为逻辑}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={236}，页码={3--18}，年份={2014}，语言={英语}，DOI={10.1016/j.ic.2014.01.009}，关键词={68Q60,03B44,68Q85,92C40}，zbMATH={6301606}，Zbl={1311.68083}}