×
加布里埃尔·乔巴努；马西耶·库特尼；Steggles，杰森

基于策略的语义，用于具有时间和访问权限的移动性。 （英语） Zbl 1343.68163号

正式Asp。计算。 27，第3期，525-549（2015）.

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
2012年第68季度 语法和重写系统

关键词：

进程代数；流动性；时间；访问权限；重写逻辑；策略

软件：

莫德；ELAN公司；汤姆
PDF格式BibTeX公司 XML格式引用
\textit{G.Ciobanu}等人，正式Asp。计算。27，第3号，525--549（2015；Zbl 1343.68163）
全文： 内政部 链接

参考文献：

[1] Butcher J（1981）版权编辑。收录：剑桥手册。剑桥大学出版社·Zbl 1230.68154号
[2] Peterson GE，Stickel ME（1981）一些等式理论的完整约简集。美国医学会期刊28:223-264·Zbl 0479.68092号 ·doi:10.1145/322248.322251
[3] Jouannaud JP，Lescanne P，Reinig F（1982）递归分解排序。关于编程概念II的形式化描述，第331-346页·Zbl 0758.68043号
[4] Aman B，Ciobanu G（2007）《带计时器和类型的移动环境》。In：程序。ICTAC 2007，第4711卷。施普林格LNCS，柏林，第50-63页·兹比尔1147.68586
[5] Balland E、Brauner P、Kopetz R、Moreau P-E、Reilles A（2007）Tom:java上的背负式重写。收录：《RTA’07会议录》，第4533卷。LNCS，纽约，第36-47页
[6] Berger M（2004）两个时间异步计算的约化同余基本理论。收录：CONCUR’04，3170会议记录。LNCS，纽约，第115-130页·Zbl 1099.68064号
[7] Bettini L等人（2003）KLAIM项目：理论与实践。收录于：2月9日至14日，意大利罗维雷托GC'03会议记录。柏林施普林格，第88-150页·Zbl 1179.68027号
[8] Bettini L，De Nicola R（2005）《X-Klaim的移动分布式编程》。收录：《2005年SFM-Moby会议记录》，意大利贝蒂诺罗，4月26日至30日，柏林斯普林格，第29-68页·Zbl 1046.68618号
[9] BorovanskíP、Kirchner C、KirchnerH、Moreau P-E、Ringeissen C（1998）《ELAN概述》。收录：Kirchner C，Kirchner H（eds）WRLA’98理论计算机科学电子笔记论文集，第15页·Zbl 0917.68022号
[10] BorovanskíP，Kirchner C，Kirchler H，Ringeissen C（2001）《ELAN中使用策略重写：功能语义学》。国际J发现计算科学12（1）：69-95·Zbl 1319.68125号 ·doi:10.1142/S0129054101000412
[11] BorovanskíP、Kirchner C、KirchnerH、Moreau PE（2002）《从重写逻辑的角度看Elan》。计算机科学理论285（2）：155-185·Zbl 1001.68057号 ·doi:10.1016/S0304-3975（01）00358-9
[12] Bugliesi M，Giunti M（2007）类型化通道抽象的安全实现。收录：2007年1月17日至19日，法国尼斯，POPL'07会议记录。ACM，纽约，第251-262页·Zbl 1295.68078号
[13] Cardelli L，Gordon A（2000）《移动环境》。计算机科学理论240:170-213·Zbl 0954.68108号 ·doi:10.1016/S0304-3975（99）00231-5
[14] Ciobanu G，Koutny M（2008），时间交互和迁移的建模和验证。收录于：FASE’08会议记录，第4961卷。柏林LNCS Springer，第215-229页·兹比尔1319.68125
[15] Ciobanu G，Koutny M（2011）过程代数和Petri网中的时间迁移。代数逻辑程序80（7）：377-391·Zbl 1230.68154号 ·doi:10.1016/j.jlap.2011.05.002
[16] Ciobanu G，Koutny M（2011）《定时迁移和访问权限交互》。收录：FM'11会议录，第6664卷。柏林LNCS施普林格出版社，第293-307页·Zbl 0758.68043号
[17] Ciobanu G，Koutny M（2014）PerTiMo:具有安全访问权限的空间迁移模型。计算J（在线）doi:10.1093/comjnl/bxu006·Zbl 0479.68092号
[18] Ciobanu G、Koutny M、Steggles LJ（2012）《基于重写策略的定时移动语义》。收录：Eleftherakis G、Hinchey M、Holcombe M（编辑）《SEFM’12会议录》，第7504卷。LNCS，纽约，第141-155页·Zbl 1315.68191号
[19] Ciobanu G，Prisacariu C（2006）分布式系统计时器。计算机科学电子笔记164:81-99·doi:10.1016/j.entcs.2006.07.013
[20] Clavel M等人（2002）Maude:重写逻辑中的规范和编程。计算机科学理论285（2）：187-243·Zbl 1001.68059号 ·doi:10.1016/S0304-3975（01）00359-0
[21] Corradini F（2000）过程代数中的绝对时间与相对时间。通知计算156:122-172·Zbl 1046.68618号 ·doi:10.1006/inco.1999.2821
[22] Dasgupta S，Potop-Butucaru D，Caillaud B，Yakovlev A（2006），从弱内时系统转向延迟敏感电路。计算机科学电子笔记146:81-103·doi:10.1016/j.entcs.2005.05.037
[23] Ehrig H，Mahr B（1985）代数规范基础1-方程和初始语义。收录于：EATCS理论计算机科学专著，第6卷。柏林施普林格·Zbl 0557.68013号
[24] Hennessy M（2007）分布式π演算。剑桥大学出版社·Zbl 1125.68082号
[25] ISO/IEC（1989）LOTOS-一种基于观测行为时间顺序的形式化描述技术。In：国际标准8807，国际标准化组织-信息处理系统-开放系统互连，日内瓦
[26] Martí-Oliet N，Meseguer J（1996），将逻辑重写为逻辑和语义框架。电子笔记理论与计算科学4:190-225·Zbl 0912.68096号 ·doi:10.1016/S1571-0661（04）00040-4
[27] Martí-Oliet N，Meseguer J（2002）《重写逻辑作为逻辑和语义框架》。收录：Gabbay DM，Guenthner F（eds）《哲学逻辑手册》，第2版，第9卷。Kluwer学术出版社，波士顿，第1-87页·Zbl 0912.68096号
[28] Meinke K，Tucker JV（1992），泛代数。在：Abramsky S，Gabbay D，Maibaum T（编辑）计算机科学逻辑手册。在：《数学结构》，第一卷，牛津大学，牛津，第189-411页·Zbl 0806.68003号
[29] Meseguer J（1992）作为并发统一模型的条件重写逻辑。计算机科学理论96（2）：73-155·Zbl 0758.68043号 ·doi:10.1016/0304-3975（92）90182-F
[30] Milner R（1999）通信和移动系统：π演算。剑桥大学出版社·Zbl 0942.68002号
[31] Verdejo A，Martí-Oliet N（2005）Maude中语义执行的两个案例研究：CCS和LOTOS。正式方法系统设计27（1-2）：113-172·Zbl 1086.68552号
[32] Viry P（1996）像素的重写实现。技术报告TR-96-30，比萨大学信息学院，第26页
[33] Visser E（2001）Stratego：一种基于重写策略的程序转换语言。收录：RTA’04会议记录，第2051卷。斯普林格，LNCS，纽约，第357-361页·Zbl 0981.68679号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。