安德烈亚·布拉夏利;罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特 关于命名上下文的符号语义。 （英文） 兹比尔1291.68282 Bonchi，Filippo（编辑）等人，第一届交互和并发体验研讨会（ICE 2008）会议记录，冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第3期，37-58（2009）。 总结：从几个方面来看，最近提出的各种计算范式都是开放的，即它们可能包含行为没有或无法完全指定的组件。例如，应用程序可以跨不同的管理域分布，而这些管理域之间没有完全公开其内部业务流程，或者系统的动态可能允许重新配置和动态绑定，而这些配置和绑定的规范在设计时是不可用的。虽然已经开发了一系列成熟的封闭系统设计和分析技术，但将其提升到开放的情况并不总是那么简单。process calculi社区中的一些现有方法是基于需要证明组件的属性，这些组件可能存在于任何或大量的执行环境中。同时，还提出了描述具有未指定组件的系统动力学的框架。本文就如何扩展开放系统的符号语义模型以处理基于名称的计算提出了一些初步设想。此外，我们还讨论了如何使用基于未知组件名称消去的简单类型系统来提高框架的表达能力。该方法以简单的网络爬虫范例演算为例，可以理解为简单图形类的术语表示。关于整个系列，请参见[兹比尔1279.68006]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68英里11 互联网主题 68问题55 计算理论中的语义学 关键词：开放系统;抽象语义学;标称结石;类型系统 软件：SLMC公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Braciali}等人，《电子》。注释Theor。计算。科学。229，第3号，37-58（2009；Zbl 1291.68282） 全文： 内政部 参考文献： [1] 巴尔丹，P。；Braciali，A。；Bruni，R.，《通过统一进行相互模拟》，（Kirchner，H.；Ringeissen，C.，《第九届代数方法论和软件技术国际会议论文集》，第九届国际代数方法论与软件技术会议论文集，（AMAST’02）。第九届代数方法论和软件技术国际会议论文集。第九届代数方法与软件技术国际会议论文集，（AMAST’02），计算机科学讲稿，第2422卷（2002），施普林格出版社，254-270·Zbl 1275.68100号 [2] 巴尔丹，P。；Braciali，A。；Bruni，R.，《开放系统的符号等价性》，（Priami，C.；Quaglia，P.，《2004年全球计算国际研讨会论文集》。2004年全球计算国际研讨会论文集（GC 2004）。2004年全球计算国际研讨会论文集。2004年全球计算国际研讨会论文集（GC 2004），计算机科学讲义，第3267卷（2005），斯普林格出版社，1-17·Zbl 1111.68530号 [3] 巴尔丹，P。；Braciali，A。；Bruni，R.，《开放过程的语义框架》，《理论计算机科学》，389，3，446-483（2007）·Zbl 1132.68042号 [4] M.Boreale、R.Bruni、R.D.Nicola和M.Loreti。结构化服务编程的会话和管道。在第十届IFIP开放式基于对象的分布式系统形式化方法国际会议（FMOODS’08）; M.Boreale、R.Bruni、R.D.Nicola和M.Loreti。结构化服务编程的会话和管道。在第十届IFIP开放式基于对象的分布式系统形式化方法国际会议（FMOODS’08） [5] 布鲁尼，R。；Gadducci，F。；蒙塔纳里，美国。；Sobocinski，P.，从还原系统导出弱互模拟同余，（Abadi，M.；de Alfaro，L.，《第16届并行理论国际会议论文集》，第16届并发理论国际会议文献集，（CONCUR’05）。第十六届并行理论国际会议论文集。第16届并行理论国际会议论文集，（CONCUR'05），计算机科学讲稿，第3653卷（2005），施普林格出版社，293-307·Zbl 1134.68428号 [6] 布鲁尼，R。；Lluch Lafuente，A。；Montanari，U.，《用Maude重写分层设计》，第七届重写逻辑及其应用国际研讨会论文集。第七届重写逻辑及其应用国际研讨会论文集（WRLA’08）。第七届重写逻辑及其应用国际研讨会论文集。第七届重写逻辑及其应用国际研讨会论文集（WRLA’08），理论计算机科学电子笔记（2008），爱思唯尔·Zbl 1347.68072号 [7] 布鲁尼，R。；Lluch Lafuente，A。；蒙塔纳里，美国。；Tuosto，E.，面向服务的建筑设计，（第三届全球可信计算国际研讨会论文集。第三届国际全球可信计算研讨会论文集，（TGC'07）。第三届可信全球计算国际研讨会论文集。第三届可信全球计算国际研讨会论文集，（TGC'07），计算机科学讲义，第4912卷（2007），施普林格出版社，186-203 [8] 布鲁尼，R。；Lluch Lafuente，A。；蒙塔纳里，美国。；Tuosto，E.，《基于风格的建筑重构》，欧洲理论计算机科学协会公报，EATCS，94，161-180（2008年2月）·Zbl 1169.68306号 [9] Caires，L。；Cardelli，L.，《并发的空间逻辑》（第一部分），（Kobayashi，N.；Pierce，B.，《第四届计算机软件理论方面国际研讨会论文集》，第四届国际计算机软件理论问题研讨会论文集，（TACS’01）。第四届计算机软件理论方面国际研讨会论文集。第四届计算机软件理论方面国际研讨会论文集，（TACS’01），计算机科学讲稿，第2215卷（2001），施普林格出版社，1-37·Zbl 1087.03507号 [10] Cardelli，L。；Gordon，A.，Anytime，Anywhere:Mobile Ambients的Modal Logics，（第27届ACM编程语言原理研讨会论文集。第27届APM编程语言原则研讨会论文集，（POPL'00）（2000），ACM），365-377·兹比尔1323.68405 [11] Ehrig，H。；König，B.，用dpo方法推导借用上下文的图形重写中的互模拟同余，计算机科学中的数学结构，16，6，1133-1163（2006）·Zbl 1107.68055号 [12] 费拉里，G。；赫希·D·。；拉内斯，我。；蒙塔纳里，美国。；Tuosto，E.，《作为面向服务计算模型的同步超边缘替换》，（de Boer，F.S.；Bonsangue，M.M.；Graf，S.；de Roever，W.P.，第四届组件和对象形式方法国际研讨会，第四次组件和对象的形式方法国际会议，（FMCO'05）。第四届组件和对象形式化方法国际研讨会。第四届组件和对象形式化方法国际研讨会，（FMCO’05），《计算机科学讲义》，第4111卷（2005年），施普林格出版社，22-43·Zbl 1196.68025号 [13] Gadducci，F.，《π演算的图形重写》，《计算机科学中的数学结构》，17，3，407-437（2007）·Zbl 1125.68063号 [14] Klin，B。；萨索内，V。；Sobocinski，P.，《从约简中获得标签：走向一般理论》（Fiadeiro，J.；Rutten，J.，《计算机科学中代数和余代数第一届会议论文集》，计算机科学中代数学和余代数首次会议论文集，（CALCO’05）。第一届计算机科学代数和余代数会议论文集。第一届计算机科学代数和余代数会议论文集，（CALCO’05），计算机科学讲稿，第3629卷（2005），30-50·兹比尔1151.68536 [15] Leifer，J。；Milner，R.，导出反应系统的互模拟同余，（Palamidessi，C.，《第十一届并行理论国际会议论文集》，第十一届并发理论国际会议文献集，（CONCUR'00）。第十一届并行理论国际会议论文集。第十一届并行理论国际会议论文集，（CONCUR'00），计算机科学讲稿，第1877卷（2000），施普林格出版社，243-258·Zbl 0999.68141号 [16] 萨索内，V。；Sobocinski，P.，使用两个类别推导互模拟同余，北欧计算杂志，10，2，163-183（2003）·Zbl 1062.68082号 [17] 萨索内，V。；Sobocinski，P.，《两类定位反应》，理论计算机科学，333，1-2，297-327（2005）·Zbl 1070.68107号 [18] 萨索内，V。；Sobocinski，P.，《cospans上的反应系统》，（第20届IEEE计算机科学逻辑研讨会论文集。第20届EEE计算机科学逻辑会议论文集，（LICS’05）（2005），IEEE），311-320 [19] Sewell，P.，《从重写规则到互模拟同余》，（Sangiorgi，D.；de Simone，R.，《第九届并行理论国际会议论文集》，第九届并发理论国际会议文献集，（CONCUR’98）。第九届并行理论国际会议论文集。第九届并行理论国际会议论文集，（CONCUR’98），计算机科学讲义，第1466卷（1998），施普林格出版社，269-284 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。