期刊
THEORETICAL COMPUTER SCIENCE
卷 625, 期 -, 页码 25-84出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.tcs.2016.02.019
关键词
Reversible computation; Process algebra; pi-Calculus
资金
- project REVER [ANR-11-INSE-007]
- project PiCoq [ANR-2010-BLAN-0305-01]
- Italian MIUR PRIN Project CINA [Prot. 2010LHT4KM]
- COST Action [IC1405]
The notion of reversible computation is attracting increasing interest because of its applications in diverse fields, in particular the study of programming abstractions for reliable systems. In this paper, we continue the study undertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order pi-calculus, called rho pi. We prove that reversibility in our calculus is causally consistent and that the causal information used to support reversibility in rhos is consistent with the one used in the causal semantics of the pi-calculus developed by Boreale and Sangiorgi. Finally, we show that one can faithfully encode rho pi into a variant of higher-order pi, substantially improving on the result we obtained in the conference version of this paper. (C) 2016 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据