In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with synchronous rollbacks to agreement points in case of deadlock. The new calculus is equipped with a compliance relation which is shown to be decidable.
Retractable Contracts / Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Ugo De'Liguoro. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - ELETTRONICO. - 203:(2015), pp. 61-72. (Intervento presentato al convegno Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software tenutosi a London, UK nel 18/4/2015) [10.4204/EPTCS.203].
Retractable Contracts
LANESE, IVAN;
2015
Abstract
In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with synchronous rollbacks to agreement points in case of deadlock. The new calculus is equipped with a compliance relation which is shown to be decidable.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.