首页    期刊浏览 2024年11月09日 星期六
登录注册

文章基本信息

  • 标题:Concurrent Reversible Sessions
  • 本地全文:下载
  • 作者:Ilaria Castellani ; Mariangiola Dezani-Ciancaglini ; Paola Giannini
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2017
  • 卷号:85
  • 页码:30:1-30:17
  • DOI:10.4230/LIPIcs.CONCUR.2017.30
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We present a calculus for concurrent reversible multiparty sessions, which improves on recent proposals in several respects: it allows for concurrent and sequential composition within processes and types, it gives a compact representation of the past of processes and types, which facilitates the definition of rollback, and it implements a fine-tuned strategy for backward computation. We propose a refined session type system for our calculus and show that it enforces the expected properties of session fidelity, forward and backward progress, as well as causal consistency. In conclusion, our calculus is a conservative extension of previous proposals, offering enhanced expressive power and refined analysis techniques.
  • 关键词:Communication-centric Systems; Reversible Computation; Process Calculi; Multiparty Session Types
国家哲学社会科学文献中心版权所有