×
内达·赛德洛伊；戈帕尔·古普塔

计时\（\pi\）-演算。 （英语） Zbl 1348.68169号

Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。《计算机科学讲义》8358，119-135（2014）。
小结：我们通过添加时钟并为动作分配时间戳，用实时扩展了\（\pi\）-演算。由此产生的形式主义，即时间演算，提供了一种简单而新颖的方法来注释具有时间约束的时间演算的转换规则。时间演算是一种描述移动、并发、实时系统的表达方式，其中系统的行为由有限或无限时间事件序列建模。我们为所提出的语言开发了一个操作语义以及时间双相似性的概念。我们给出了时间双相似性的性质；特别地，研究了实时、并发、移动进程的扩展定理。
有关整个系列，请参见[Zbl 1334.68011号].

引用于6文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
PDF格式BibTeX公司 XML格式引用
\textit{N.Saeedloei}和\textit{G.Gupta}，莱克特。注释计算。科学。8358、119--135（2014；Zbl 1348.68169）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Dill，DL，《时间自动机理论》，Theor。计算。科学。，126, 2, 183-235 (1994) ·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[2] Berger，M.：面向分布式系统的抽象。技术报告，伦敦帝国理工学院（2004）
[3] Chen，J.，（pi）演算的时间扩展，Theor。计算。科学。，11, 1, 23-58 (2006) ·Zbl 1146.68399号
[4] 乔巴努，G。；Prisacariu，C.，分布式系统定时器，Electr。注释Theor。计算。科学。，164, 3, 81-99 (2006) ·doi:10.1016/j.entcs.2006.07.013
[5] 德加诺，P。；Loddo，合资公司；Priami，C。；Dam，M.，《带本地时钟的移动过程》，LOMAPS-WS 1996，296-319（1997），海德堡：斯普林格
[6] Gupta，R.：网络物理系统中时空行为和推理的编程模型和方法。In:NSF CPS研讨会（2006）
[7] 海特迈耶，C。；林奇，N.，《广义铁路交叉口：实时系统正式验证的案例研究》，in:IEEE实时系统研讨会，120-131（1994），洛斯阿拉米托斯：IEEE计算机社会出版社，洛斯阿米托斯
[8] Laneve，C。；扎瓦塔罗，G。；Sassone，V.，《网络交易基础》，FoSSaCS 2005，282-298（2005），海德堡：斯普林格·Zbl 1118.68335号
[9] Lee，EA，《网络物理系统：设计挑战》，In:IEEE面向对象实时分布式计算研讨会，ISORC’08（2008），华盛顿：IEEE计算机学会，华盛顿
[10] 李，JY；Zic，J.，《实时移动流程建模》，澳大利亚。计算。科学。社区。，24139-147（2002年）
[11] Mazzara，M。；布拉维蒂，M。；Kloul，L。；Zavattaro，G.，《web服务组合中的时间问题》，EPEW/WS-EM 2005，287-302（2005），海德堡：斯普林格
[12] 米尔纳，R。；鹦鹉，J。；Walker，D.，《移动过程微积分》，第一部分和第二部分，信息计算。，100, 1, 1-77 (1992) ·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4
[13] Olate，C.：通用时间并发约束编程。Ecole Polytechnique LIX博士论文（2009年）
[14] 波塞，E。；丁格尔，J。；哈特克利夫，J。；Zucca，E.，《（pi）演算实时扩展的理论与实现》，FMOODS/FORTE 2010，第二部分，125-139（2010），海德堡：斯普林格
[15] Saeedloei，N.：实时和网络物理系统的建模和验证。德克萨斯大学达拉斯分校博士论文，德克萨斯州理查森（2011）
[16] Saeedloei，N。；Gupta，G.，《基于逻辑的CPS建模与验证》，SIGBED Rev.，8，31-34（2011）·doi:10.1145/2000367.2000374
[17] Yi，W。；阿尔伯特，JL；莫尼恩，B。；Artalejo，MR，CCS+time=实时系统的交织模型，ICALP 1991，217-228（1991），海德堡：斯普林格·Zbl 0769.68027号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。