×
德尼古拉，罗科；丹尼尔·戈拉；罗萨里奥Pugliese

关于克莱姆-基于计算。 （英语） 兹比尔1092.68070

西奥。计算。科学。 356，第3期，387-421（2006）。
摘要：我们研究了克莱姆这是一种实验性语言，带有用于网络软件编程的编程原语，它将进程代数方法与面向协调的方法相结合。克莱姆事实证明，它适合使用代理和代码移动性对各种分布式应用程序进行编程，并且已经在用Java编写的运行时系统之上实现。本文通过从中提取一些越来越多的基础语言，并通过研究每种语言的编码方式，测试其结构的表达能力。最后通过将其中一个与异步演算进行比较来测试所考虑的演算的表达能力。

引用于10文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
68甲15 编程语言理论

关键词：

过程结石；网络软件编程；表现力；语言编码；行为等效性；互模拟

软件：

tK目标；科莱姆；克拉瓦；琳达
PDF格式BibTeX公司 XML格式引用
\textit{R.de Nicola}等人，Theor。计算。科学。356，第3号，387--421（2006；Zbl 1092.68070）
全文： 内政部

参考文献：

[1] 阿马迪奥·R·M。；卡斯特拉尼，I。；Sangiorgi，D.，《异步（pi）演算的互模拟》，Theoret。计算。科学。，195, 2, 291-324 (1998) ·Zbl 0915.68009号
[2] 贝蒂尼，L。；德尼古拉，R。；法拉利，G。；Pugliese，R.，X-K中的交互式移动代理拉伊姆，（IEEE计算机学会，Silver Spring，MD（1998），第七届WETICE会议，第七次WETICE大会），110-115
[3] 贝蒂尼。；德尼古拉，R。；普格利泽，R.，K熔岩：分布式和移动应用程序的java包，《软件实践体验》，32，1365-1394（2002）·Zbl 1009.68933号
[4] 贝蒂尼，L。；Nicola，R.D.，《x-Klaim中的移动分布式编程》（Bernardo，M.；Bogliolo，A.，SFM，《计算机科学讲义》，第3465卷（2005），施普林格：施普林格柏林），29-68
[5] Boreale，M.，《关于通过名字计算的内部流动性的表达》，Theoret。计算。科学。，195, 2, 205-226 (1998) ·Zbl 0915.68059号
[6] G.Boudol、Asynchroncy和\（\operatorname{\Pi；}\）；G.Boudol、Asynchroncy和\（\operatorname{\Pi；}\）
[7] 北布西。；Gorrieri，R。；Zavataro，G.，《类linda-like语言的三种语义比较》，Theoret。计算。科学。，240, 1, 49-90 (2000) ·Zbl 0954.68092号
[8] 北布西。；Gorrieri，R。；Zavattaro，G.，《关于linda协调原语的表达性》，Inform。和计算。，156, 1-2, 90-121 (2000) ·Zbl 1046.68616号
[9] Cacciagrano，D。；Corradini，F.，《关于同步和异步通信范式》（Proc.ICTCS’01，计算机科学讲稿，第2202卷（2001），Springer:Springer Berlin），256-268·Zbl 1042.68614号
[10] Cardelli，L。；Gordon，A.D.，《移动环境》，Theoret。计算。科学。，240, 1, 177-213 (2000) ·Zbl 0954.68108号
[11] 德尼古拉，R。；法拉利，G。；普格利泽，R.，K拉伊姆：代理交互和移动性的核心语言，IEEE Trans。软件工程师，24115-330（1998）
[12] 德尼古拉，R。；法拉利，G。；Pugliese，R.，《编程访问控制：Klaim体验》（Proc.CONCUR’00，《计算机科学讲义》，第1877卷（2000），施普林格：施普林格柏林），48-65·Zbl 0999.68557号
[13] R.De Nicola，D.Gorla，R.Pugliese，《关于基于KLAIM的计算的表达能力》，摘自：Proc。EXPRESS’04，ENTCS，第128卷，第2期，爱思唯尔，阿姆斯特丹，2004年，第117-130页。；R.De Nicola，D.Gorla，R.Pugliese，《关于基于KLAIM的计算的表达能力》，摘自：Proc。EXPRESS’04，ENTCS，第128卷，第2期，爱思唯尔，阿姆斯特丹，2004年，第117-130页·Zbl 1272.68298号
[14] R.De Nicola，D.Gorla，R.Pugliese，全球计算微积分的基本观测值，Proc。ICALP’05，第3580卷，斯普林格出版社，2005年，第1226-1238页。；R.De Nicola，D.Gorla，R.Pugliese，全球计算微积分的基本观测值，Proc。ICALP’05，第3580卷，施普林格出版社，2005年，第1226-1238页·Zbl 1085.68098号
[15] 德尼古拉，R。；戈拉，D。；Pugliese，R.，元组空间动态网络中的全局计算，（Proc.COORDINATION'05，计算机科学讲义，第3454卷（2005），Springer），157-172
[16] 德尼古拉，R。；戈拉，D。；Pugliese，R.，元组空间动态网络上的模式匹配，（Proc.FMOODS’05，计算机科学讲义，第3535卷（2005），Springer:Springer-Berlin），1-14·Zbl 1461.68131号
[17] Gelernter，D.，《林达的生殖传播》，ACM Trans。编程语言系统，7，1，80-112（1985）·Zbl 0559.68030号
[18] D.Gorla，全球计算系统的语义方法，博士论文，Dip。《信息科学院》，费伦泽大学，2005年。；D.Gorla，全球计算系统的语义方法，博士论文，Dip。《信息科学院》，费伦泽大学，2005年。
[19] 戈拉，D。；Pugliese，R.，《动态权限获取的资源访问和移动性控制》（Proc.ICALP’03，计算机科学讲义，第2719卷（2003），Springer:Springer Berlin），119-132·兹比尔1039.68542
[20] 轩尼诗，M。；Riely，J.，移动代理系统中的资源访问控制，Inform。和计算。，173, 82-120 (2002) ·Zbl 1009.68081号
[21] 本田，K。；Tokoro，M.，《异步通信的对象演算》（Proc.ECOOP’91，计算机科学讲义，第512卷（1991），Springer:Springer Berlin），133-147
[22] Milner，R.，《多元（π）演算：教程》，（逻辑和规范代数，F系列，北约ASI，第94卷（1993），施普林格：施普林格-柏林）
[23] 米尔纳，R。；帕罗，J。；Walker，D.，《移动进程演算》，第I/II部分，《信息》。和计算。，100, 1-77 (1992) ·Zbl 0752.68037号
[24] Nestmann，U.，什么是保护选择的“好”编码？，通知。和计算。，156, 287-319 (2000) ·Zbl 1046.68625号
[25] 美国内斯特曼。；Pierce，B.C.，《解码选择编码》，Inform。和计算。，163, 1-59 (2000) ·兹比尔1003.68080
[26] Palamidessi，C.，《比较同步和异步计算的表达能力》，数学。结构。计算。科学。，13, 5, 685-719 (2003)
[27] Parrow，J.，《pi-calculus简介》（《过程代数手册》（2001），Elsevier:Elsevier Amsterdam），479-543·Zbl 1035.68071号
[28] J.Riely。；Hennessy，M.，《移动代理开放系统中的信任和部分键入》（Proc.POPL’99（1999），ACM:ACM New York），93-104
[29] Sangiorgi，D.，高阶过程计算中的相互模拟，Inform。和计算。，131, 141-178 (1996) ·Zbl 0876.68042号
[30] D.Sangiorgi，D.Walker，《运营商名称{\Pi；}》；D.Sangiorgi、D.Walker、The \（\operatorname{\Pi；}\）·Zbl 0981.68116号
[31] Yoshida，N.，一元移动进程的图形类型，（Proc.FST-TCS’96，计算机科学讲稿，第1180卷（1996），Springer:Springer-Berlin），371-386
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。