Reversible client/server interactions-Reference-Cited by-同舟云学术

Reversible client/server interactions

Published:2016-07 Issue:4 Volume:28 Page:697-722
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Barbanera Franco¹,Dezani-Ciancaglini Mariangiola²,de’Liguoro Ugo²

Affiliation:

1. Dipartimento di Matematica e Informatica, Università di Catania, Viale A. Doria 6, 95125, Catania, Italy

2. Università di Torino, Torino, Italy

Abstract

Abstract In the setting of session behaviours , we study an extension of the concept of compliance when a disciplined form of backtracking and of output skipping is present. After adding checkpoints to the syntax of session behaviours, we formalise the operational semantics via an LTS, and define natural notions of checkpoint compliance and sub-behaviour , which we prove to be both decidable. Then we extend the operational semantics with skips and we show the decidability of the obtained compliance.

Funder

ICT COST Action

MIUR

Torino University/Compagnia San Paolo

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-016-0358-2.pdf

Reference23 articles.

1. Barbanera F Dezani-Ciancaglini M de’ Liguoro U (2014) Compliance for reversible client/server interactions. In BEAT 162 of EPTCS Open Publishing Association pp 35–42

2. Barbanera F de’ Liguoro U (2014) Loosening the notions of compliance and sub-behaviour in client/server systems. In ICE 166 of EPTCS Open Publishing Association pp 94–110

3. Sub-behaviour relations for session-based client/server systems

4. Barbanera F Dezani-Ciancaglini M Lanese I de’ Liguoro U (2016) Retractable contracts. In PLACES 203 of EPTCS Open Publishing Association pp 61–72

5. Coinductive axiomatization of recursive type equality and subtyping;Brandt M;Fundamenta Informaticae,1998

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Open Compliance in Multiparty Sessions;Formal Aspects of Component Software;2022

2. Causal Consistency for Reversible Multiparty Protocols;Logical Methods in Computer Science;2021-10-01

3. Composition and decomposition of multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2021-02

4. Two notions of sub-behaviour for session-based client/server systems: 10 Years Later;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08

5. Foundations of Reversible Computation;Reversible Computation: Extending Horizons of Computing;2020