尼尔森,Hanne Riis;弗莱明·尼尔森 移动环境的形状分析。 (英语) Zbl 0985.68039号 Nord.J.计算机。 8,第2期,233-275(2001). 概要:环境演算是一种允许活动进程在站点之间移动的计算演算。我们提出了一个受最先进指针分析启发的分析,该分析可以安全准确地预测在复合系统执行期间哪些进程可能出现在哪些站点。该分析通过一组通过上下文相关计数增强的规则树文法对一组过程进行建模,并通过将强大的redex物化与强大的redix缩减相结合(以指针分析中执行的强大更新的方式)来获得其精度。 引用于三文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:演算 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}和\textit{F.Nielson},Nord.J.Compute。8,第2号,233--275(2001;Zbl 0985.68039)