The Reversible Temporal Process Language

Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen

doi:10.1007/978-3-031-08679-3_3

通信Dans Un Congrès Anneée:2022年

可逆时间过程语言

(1),(2),(3),(4)

1
2
三
4

劳拉·博奇

功能：奥特尔

肯特大学[坎特伯雷]

伊万·拉内斯

功能：奥特尔
人员ID:961958

基于组件的泛在系统基础

克劳迪奥·安塔雷斯·梅齐纳

功能：奥特尔

“卡洛·波”乌尔比诺大学

元昭治

功能：奥特尔

名古屋大学

Résumé

可逆调试器帮助程序员快速找到并发程序中错误行为的原因。这些调试器可以建立在精心研究的因果一致可逆性理论的基础上，该理论允许一个人撤销任何行为，前提是其后果事先被撤销。到目前为止，因果一致可逆性从未考虑过时间，这是实际应用中的一个关键方面。在这里，我们通过进程代数研究并发系统中可逆性和时间之间的相互作用。Hennessy和Regan的时态过程语言（TPL）是CCS的一个很好理解的扩展，具有离散时间和超时操作符。我们定义了revTPL，这是TPL的可逆扩展，并且我们证明它满足因果一致可逆演算所期望的属性。我们还表明，revTPL可以解释为可逆CCS随时间的扩展。

Mots clés公司

可逆计算定时系统过程性结石

与葡萄园

信息[cs]

费歇尔校长

timed.pdf（387.41 Ko）

起源：菲奇尔斯制片人par l’（les）auteur（s）
许可：版权（Tous droits réservés）

伊万·拉内斯以下为：Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-03917240

Soumis le：迪曼奇1号詹维尔2023-14:13:13

Dernière修改le:mardi 2 avril 2024-12:58:03

长期存档：dimanche 2 avril 2023-18:47:09

日期和版本

hal-03917240，版本1 （2023年1月1日）

身份证明人

HAL Id： hal-03917240，版本1
内政部： 10.1007/978-3-031-08679-3_3

Citer公司

Laura Bocchi、Ivan Lanese、Claudio Antares Mezzina、Shoji Yuen。可逆时间过程语言。FORTE 2022-第42届IFIP WG 6.1分布式对象、组件和系统形式化技术国际会议2022年6月，意大利卢卡。第31-49页，⟨10.1007/978-3-031-08679-3_3⟩.⟨哈尔-03917240⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

印度 INRIA2公司 UNIV-COTEDAZUR大学澳大利亚国家铁路公司

19 磋商

16 Télé收费