×
伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼

控制高阶pi中的可逆性。 （英语） Zbl 1344.68168号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，德国亚琛，第22届国际会议，CONCUR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901297-311（2011）。
摘要：我们在本文中为高阶微积分（HO）提出了一个细粒度的回滚原语，它建立在可逆HO（pi）的可逆装置上[第一作者等，Lect.Notes Compute.Sci.6269478-493（2010；Zbl 1287.68137号)]. 由于并发回滚之间可能存在干扰，因此为此类原语定义适当的语义是一件令人惊讶的微妙事情。在本文中，我们定义了一个高级操作语义，并证明了该语义在可逆HO（pi）向后约简方面的正确性和完整性。我们还定义了一个较低级别的分布式语义，它更接近于回滚原语的实际实现，并且我们证明它相对于高级语义而言是完全抽象的。
关于整个系列，请参见[Zbl 1221.68022号].

引用于1审查
引用于36文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

引文：

Zbl 1287.68137号

软件：

交易人员
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}等人，Lect。注释计算。科学。6901297--311（2011；Zbl 1344.68168）
全文： 内政部

参考文献：

[1] Avizienis，A.、Laprie，J.C.、Randell，B.、Landwehr，C.E.：可靠和安全计算的基本概念和分类。IEEE传输。可靠秒计算。 1(1) (2004)
[2] Bennett，C.H.：可逆计算历史注释。IBM研究与开发杂志32（1）（1988）·数字对象标识代码：10.1147/rd.321.0016
[3] Chothia，T.，Duggan，D.：容错全局计算的抽象。西奥。计算。科学。 322(3) (2004) ·Zbl 1071.68010号 ·doi:10.1016/j.tcs.2003.09014
[4] Danos，V.，Krivine，J.：可逆通信系统。收录：Gardner，P.，Yoshida，N.（编辑）CONCUR 2004。LNCS，第3170卷，第292-307页。斯普林格，海德堡（2004）·Zbl 1099.68066号 ·doi:10.1007/978-3-540-28644-8_19
[5] Danos，V.，Krivine，J.：RCCS中的交易。收录：Abadi，M.，de Alfaro，L.（编辑）CONCUR 2005。LNCS，第3653卷，第398–412页。施普林格，海德堡（2005）·Zbl 1134.68432号 ·doi:10.1007/11539452_31
[6] Elnozahy，E.N.，Alvisi，L.，Wang，Y.M.，Johnson，D.B.：消息传递系统中回滚恢复协议的调查。ACM计算。Surv公司。 34(3) (2002) ·doi:10.1145/568522.568525
[7] Field，J.，Varela，C.A.：Transactors:在不可靠环境中维护全局一致分布式状态的编程模型。In：程序。POPL 2005。ACM，纽约（2005）·Zbl 1369.68134号 ·数字对象标识代码：10.1145/1040305.1040322
[8] Lanese，I.、Mezzina，C.A.、Schmitt，A.、Stefani，J.B.：控制高阶pi（TR）的可逆性，网址：http://www.cs.unibo.it/lanese/出版物/全文/TR-rollpi.pdf.gz·Zbl 1338.68078号
[9] Lanese，I.、Mezzina，C.A.、Stefani，J.B.：反转高阶圆周率。收录：Gastin，P.，Laroussinie，F.（编辑）CONCUR 2010。LNCS，第6269卷，第478-493页。斯普林格，海德堡（2010）·Zbl 1287.68137号 ·doi:10.1007/978-3-642-15375-433
[10] Leeman，G.B.：编程语言中撤销操作的正式方法。ACM事务处理。程序。语言系统。 8(1) (1986) ·Zbl 0592.68015号 ·doi:10.1145/5001.5005
[11] Sangiorgi，D.：在过程代数中表达移动性：一阶和高阶范式。博士论文CST–99–93，爱丁堡大学（1992年）
[12] Ziarek，L.，Jagannathan，S.：并发ML.J.Funct的轻量级检查点。程序。 20(2) (2010) ·Zbl 1214.68122号 ·网址：10.1017/S095679681000067
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。