×
丹尼尔·赫希科夫；Damien Pous；戴维·桑吉奥吉

安全环境的高效抽象机器。 （英语） Zbl 1116.68056号

J.日志。阿尔盖布。程序。 71，第2期，114-149（2007）.
总结：安全环境（SA）是环境微积分（AC）的一种变体，在该类型中，可用于避免过程之间的某些形式的干扰，称为严重干扰。
提出并研究了一种用于分布式实现类型化SA的抽象机GcPan。我们的机器在执行AC或其变体方面优于以前的建议，主要是通过更好地管理在代码迁移时创建的特殊代理（转发器）来将消息传输到迁移的目标位置。应用了众所周知的方法（如引用计数和union-find）来对转发器进行垃圾收集，从而避免了长的（可能是分布式的）转发器链，并避免了无用的持久转发器。
我们证明了GcPan对于类型化SA过程的正确性。我们描述了OCaml中抽象机的分布式实现。更广泛地说，这项研究有助于理解包含移动性的分布式语言实现中的正确性和优化问题。

引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
第68季度55 计算理论中的语义学

关键词：

移动环境；抽象机器；货运代理；垃圾收集；互模拟

软件：

OCaml公司；Gc平移；科莱姆；乔坎尔
PDF格式BibTeX公司 XML格式引用
\textit{D.Hirschkoff}等人，J.Log。阿尔盖布。程序。71，第2号，114--149（2007；Zbl 1116.68056）
全文： 内政部 链接

参考文献：

[1] Bidinger，P。；Stefani，J.-B.，《凯尔演算：操作语义和类型系统》（The Kell calculations:operational semantics and type system），（in:Proc.of FMOODS 2003）。in：程序。FMOODS 2003，LNCS，第2884卷（2003），Springer-Verlag），109-123·Zbl 1253.68235号
[2] Bugliesi，M。；卡斯塔尼亚，G。；Crafa，S.，Boxed ambients，（见：TACS 2001程序）。in：程序。TACS 2001，LNCS，第2215卷（2001），Springer-Verlag），38-63·Zbl 1087.68541号
[5] Cardelli，L。；Gordon，A.，《移动环境》，（in:FOSSACS’98 Proc。in：程序。FOSSACS’98，LNCS，第1378卷（1998），Springer-Verlag），140-155·Zbl 0954.68108号
[8] Fournet，C。；Le Fessant，F。；Maranget，L。；Schmitt，A.，JoCaml:一种用于并发分布式和移动编程的语言，（in：Proc.of Advanced Functional programming 2002。in：程序。高级函数编程2002，LNCS，第2638卷（2002），Springer-Verlag），129-158
[9] Fournet，C。；莱维，J.-J。；Schmitt，A.，《移动环境的异步分布式实现》（in：IFIP TCS’00程序）。in：程序。IFIP TCS’00，LNCS，第1872卷（2000年），施普林格出版社），348-364·Zbl 0998.68537号
[10] 加德纳，P。；Laneve，C。；Wischik，L.，《线性货运代理》（in:CONCUR’03的程序）。in：程序。第2761卷（2003年），施普林格出版社），408-422·Zbl 1274.68233号
[11] 詹尼尼，P。；Sangiorgi，D。；瓦伦特，A.，《安全环境：抽象机器和分布式实现》，科学。计算。程序。，59, 3, 209-249 (2006) ·Zbl 1085.68044号
[12] 列维·F。；Sangiorgi，D.，《控制环境中的干扰》，（in：第27届POPL会议记录（2000），ACM出版社），352-364·Zbl 1323.68411号
[13] 列维·F。；Sangiorgi，D.，移动安全环境，Trans。程序。语言系统。，25, 1, 1-69 (2003)
[14] 梅罗，M。；Hennessy，M.，《安全环境下的互模拟同余（扩展摘要）》，（in：第29届POPL会议（2002），ACM出版社），71-80·兹比尔1323.68412
[15] Natarajan，V。；Cleaveland，R.，《过程效率的代数理论》，（摘自：第11届LICS会议（1996），IEEE），63-72
[16] 德尼古拉，R。；法拉利，G.L。；Pugliese，R.，KLAIM:代理交互和移动性的核心语言，IEEE Trans。软件工程师，24115-330（1998）
[17] 菲利普斯，A。；吉田，N。；Eisenbach，S.，《盒式环境结石的分布式抽象机》，（in：《2004年ESOP汇编》）。in：程序。ESOP’04，LNCS，第2986卷（2004），Springer-Verlag），155-170·Zbl 1126.68507号
[18] 菲利普斯一世。；Vigliotti，M.G.，《推拉环境演算的约简语义》，（in：IFIP TCS’02（2002），Kluwer），550-562
[20] Pous，D.，《弱互模拟的Up-to技术》（in：ICALP’05的Proc.）。in：程序。ICALP’05，LNCS，第3580卷（2005），Springer-Verlag），730-741·Zbl 1084.68085号
[22] Sangiorgi，D。；Walker，D.，《（π）-微积分：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[23] Tarjan，R.E.，《一种良好但非线性集合并算法的效率》，J.ACM，22，2，215-225（1975）·Zbl 0307.68029号
[24] 出纳员，D。；Zimmer，P。；Hirschkoff，D.，《使用环境控制资源》，（in：CONCUR’02的Proc。in：程序。CONCUR’02，LNCS，第2421卷（2002），Springer-Verlag），288-303·Zbl 1012.68530号
[25] Unyapoth，A。；Sewell，P.，Nomadic pict:移动计算的正确通信基础设施，（in：第28届POPL会议（2001），ACM出版社），116-127·Zbl 1323.68416号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。