阿姆托夫特，托本;阿萨夫·科福里。;Pericas Geertsen，圣地亚哥M。 环境微积分中的有序通信。 （英语） Zbl 1051.68029号 计算。语言系统。结构。 28，第1期，29-60（2002）. 摘要：环境微积分（AC）由L.Cardelli（卡德利）和A.D.戈登作为研究流动性和移民代码问题的正式框架【Lect.Notes Compute.Sci.1378140–155（1998）】。我们提出了一种AC类型系统，该系统允许同一环境中的交换数据类型随时间变化。我们的类型系统将我们所称的行为分配给流程；提出了行为的指称语义，这里称为跟踪语义，这是剩余分析的基础。我们陈述并证明了类型化版本AC的主题约简性质。基于从有限自动机理论中借用的技术，证明了完全类型化过程的类型检查是可判定的。我们证明了最初由L.Cardelli（卡德利）和A.D.戈登[in:POPL'99，San Antonio，TX.纽约：ACM出版社，79-92（1999）]可以自然嵌入到我们的AC打字版本中。 引用于2文件 MSC公司： 68M10个 计算机系统中的网络设计与通信 关键词：移动计算;并发和分布式编程;流动性的形式计算;环境微积分;移动代码的安全性;有序沟通;类型系统;类型检查;类型推断 PDF格式BibTeX公司 XML格式引用 \textit{T.Amtoft}等人，计算。语言系统。结构。28，第1号，第29--60条（2002；Zbl 1051.68029） 全文： 内政部 参考文献： [1] Cardelli L，Gordon AD。移动环境。收录：Nivat M，（编辑）。FoSSaCS’98，《计算机科学讲义》，第1378卷，柏林：斯普林格出版社，1998年。第140-55页。；Cardelli L，Gordon助理。移动环境。收录：Nivat M，（编辑）。FoSSaCS’98，《计算机科学讲义》，第1378卷，柏林：斯普林格出版社，1998年。第140-55页。 [2] Cardelli L，Gordon AD。移动环境类型。收录：Montanari U、Sassone V（编辑）。POPL’99，德克萨斯州圣安东尼奥，纽约：美国计算机学会出版社，1999年1月。第79-92页。；Cardelli L，Gordon AD。移动环境类型。收录：Montanari U、Sassone V（编辑）。POPL'99，德克萨斯州圣安东尼奥，纽约：ACM出版社，1999年1月。第79-92页。 [3] Fournet C、Gonthier G、Levy J-J、Maranget L、Remy D.移动代理演算。收录于：CONCUR 1996，《计算机科学讲义》，第1119卷。柏林：施普林格出版社，1996年。第406-21页。；Fournet C、Gonthier G、Levy J-J、Maranget L、Remy D.移动代理演算。收录于：CONCUR 1996，《计算机科学讲义》，第1119卷。柏林：施普林格出版社，1996年。第406-21页·Zbl 1514.68166号 [4] Riely J，Hennessy M.分布式移动进程的类型化语言。收录：POPL 1998。柏林：ACM出版社，1998年。第378-90页。；Riely J，Hennessy M.分布式移动进程的类型化语言。收录：POPL 1998。柏林：ACM出版社，1998年。第378-90页。 [5] Riely J、Hennessy M.Trust和移动代理开放系统中的部分键入。收录：POPL'99，德克萨斯州圣安东尼奥，纽约：ACM出版社，1999年。第93-104页。；Riely J、Hennessy M.Trust和移动代理开放系统中的部分键入。收录：POPL'99，德克萨斯州圣安东尼奥，纽约：ACM出版社，1999年。第93-104页·Zbl 1069.68076号 [6] Sewell P、Vitek J.《不安全组件的安全构成》。In:第十二届IEEE计算机安全基础研讨会（CSFW-12），意大利莫达诺，1999年6月。；Sewell P、Vitek J.《不安全组件的安全构成》。在：第12届IEEE计算机安全基础研讨会（CSFW-12），意大利莫尔达诺，1999年6月。 [7] Vitek J，Castagna G.Seal：安全移动计算框架。收录：Bal HE、Belkhouche B、Cardelli L（编辑）。互联网编程语言，计算机科学讲义，第1686卷。柏林：施普林格出版社，1999年。；Vitek J，Castagna G.Seal：安全移动计算框架。在：Bal HE，Belkhouche B，Cardelli L，（编辑）。互联网编程语言，计算机科学讲义，第1686卷。柏林：斯普林格出版社，1999年。 [8] Cardelli L、Giorgio Ghelli、Gordon AD。移动环境的移动类型。收录人：维德曼J、范·埃姆德·博阿斯P、尼尔森M，编辑。ICALP’99，计算机科学讲义，第1644卷。柏林：斯普林格出版社，1999年7月。第230-9页。扩展版本为Microsoft Research Technical Report MSR-TR-99-32，1999。；Cardelli L、Giorgio Ghelli、Gordon AD。移动环境的移动类型。收录人：维德曼J、范·埃姆德·博阿斯P、尼尔森M，编辑。ICALP’99，计算机科学讲义，第1644卷。柏林：斯普林格出版社，1999年7月。第230-9页。扩展版本为Microsoft Research Technical Report MSR-TR-99-321999。 [9] Cardelli L、Giorgio Ghelli、Gordon AD。环境群体和流动类型。收录：Leeuwen J van、Watanabe O、Hagiya M、Mosses PD、Ito T（编辑）。IFIP理论计算机科学国际会议（IFIP TCS2000），日本仙台东北大学，计算机科学讲义，第1872卷。柏林：施普林格出版社，2000年8月。第333-47页。；Cardelli L、Giorgio Ghelli、Gordon AD。环境群体和流动类型。收录：Leeuwen J van、Watanabe O、Hagiya M、Mosses PD、Ito T（编辑）。IFIP理论计算机科学国际会议（IFIP TCS2000），日本仙台东北大学，计算机科学讲义，第1872卷。柏林：施普林格出版社，2000年8月。第333-47页·兹比尔0998.68536 [10] 托本·阿姆托夫特。环境运动的因果型系统。提交出版，2002年。；托本·阿姆托夫特。环境运动的因果型系统。提交出版，2002年·Zbl 1175.68268号 [11] 西蒙·盖伊和马尔科姆·霍尔。客户端-服务器交互的类型和子类型。收录：Swierstra SD（编辑）。《欧洲程序设计研讨会论文集》，计算机科学讲稿，第1576卷。柏林：斯普林格出版社，1999年。第74-90页。；西蒙·盖伊和马尔科姆·霍尔。客户端-服务器交互的类型和子类型。收录：Swierstra SD（编辑）。《欧洲编程研讨会论文集》，计算机科学讲稿，第1576卷。柏林：斯普林格出版社，1999年。第74-90页。 [12] Torben Amtoft、Kfoury AJ、Pericas-Geertsen SM。什么是多态型环境？技术报告BUCS-TR-2000-021，波士顿大学计算机科学系，2000年12月。；Torben Amtoft、Kfoury AJ、Pericas-Geertsen SM。什么是多态型环境？技术报告BUCS-TR-2000-021，波士顿大学计算机科学系，2000年12月·Zbl 0977.68525号 [13] 弗朗西丝卡·列维和戴维德·桑吉奥吉。控制环境中的干扰。地点：POPL'00，马萨诸塞州波士顿，纽约：ACM出版社，2000年1月。第352-64页。；弗朗西丝卡·列维和戴维德·桑吉奥吉。控制环境中的干扰。地点：POPL'00，马萨诸塞州波士顿，纽约：ACM出版社，2000年1月。第352-64页·Zbl 1323.68411号 [14] 米歇尔·巴格列西（Michele Bugliesi）和朱塞佩·卡斯塔尼亚（Giuseppe Castagna）。确保安全环境。收录于：会议记录POPL'01:2001年第28届ACM编程语言原理研讨会。第222-35页。；米歇尔·巴格列西（Michele Bugliesi）和朱塞佩·卡斯塔尼亚（Giuseppe Castagna）。确保安全环境。收录于：会议记录POPL'01:2001年第28届ACM编程语言原理研讨会。第222-35页·Zbl 1323.68404号 [15] Dezani-Ciancaglini M，Salvo I.移动安全环境的安全类型。收录：He J、Sato M（编辑）。ASIAN计算机科学会议ASIAN’00，《计算机科学讲义》，1961年。柏林：施普林格出版社，2000年。第215-36页。；Dezani-Ciancaglini M，Salvo I.移动安全环境的安全类型。收录：He J、Sato M（编辑）。ASIAN计算机科学会议ASIAN’00，《计算机科学讲义》，1961年。柏林：施普林格出版社，2000年。第215-36页·Zbl 0988.68544号 [16] Torben Amtoft、Kfoury AJ、Pericas-Geertsen SM。什么是多态型环境？收件人：Sands D，编辑。ESOP 2001，热那亚，计算机科学讲义，第2028卷。柏林：施普林格，2001年4月。第206-20页。（扩展版本见[12]；Torben Amtoft，Kfoury AJ，Pericas-Geertsen SM。什么是多态型环境？收录：Sands D，编辑。ESOP 2001，Genova，《计算机科学讲义》，第2028卷。柏林：施普林格，2001年4月。第206-20页。（扩展版本显示为[12]·Zbl 0977.68525号 [17] 关，X。；Yang，Y。；You，J.，《键入演变的环境》，《信息处理快报》，80，5，265-270（2001）·Zbl 1003.68093号 [18] Cardelli，L.，《移动计算摘要》，（Vitek，J.；Jensen，C.，《安全互联网编程：移动和分布式对象的安全问题》，《安全网络编程：移动与分布式对象的安全学》，计算机科学讲义，第1603卷（1999），Springer:Springer-Berlin），51-94 [19] 帕斯卡·齐默尔。移动环境的子类型和键入算法。收录：Tiuryn J（编辑）。FOSSACS 2000，柏林，计算机科学讲义，第1784卷。柏林：施普林格出版社，2000年。第375-90页。；帕斯卡·齐默尔。移动环境的子类型和键入算法。收录：Tiuryn J（编辑）。FOSSACS 2000，柏林，计算机科学讲义，第1784卷。柏林：施普林格出版社，2000年。第375-90页·Zbl 0961.68094号 [20] Michele Bugliesi Pericas-Geertsen SM。对象计算的深度子类型和类型推断。摘自：《第七届面向对象语言基础研讨会论文集》，波士顿，马萨诸塞州，美国，2000年。；Michele Bugliesi Pericas-Geertsen SM。对象计算的深度子类型和类型推断。载：《面向对象语言基础第七次研讨会论文集》，美国马萨诸塞州波士顿，2000年。 [21] Kaku Takeuchi、Kohei Honda和Makoto Kubo。一种基于交互的语言及其打字系统。收录：Halatsis C、Maritsas D、Philokypro G、Theodoridis S，编辑。94年，计算机科学讲义，第817卷。柏林：施普林格出版社，1994年。第398-413页。；Kaku Takeuchi、Kohei Honda和Makoto Kubo。一种基于交互的语言及其打字系统。收录：Halatsis C、Maritsas D、Philokypro G、Theodoridis S，编辑。94年，计算机科学讲义，第817卷。柏林：施普林格出版社，1994年。第398-413页。 [22] Kohei Honda、Vasco Vasconcelos和Makoto Kubo。结构化通信编程的语言原语和类型规则。收录：Hankin C（编辑）。1998年《员工持股计划》，第1381卷。柏林：斯普林格出版社，1998年。第122-38页。；Kohei Honda、Vasco Vasconcelos和Makoto Kubo。结构化通信编程的语言原语和类型规则。收录：Hankin C（编辑）。1998年《员工持股计划》，第1381卷。柏林：斯普林格出版社，1998年。第122-38页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。