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 a LTS, and define natural notions of check- point 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.
Reversible client/server interactions
DEZANI, Mariangiola;DE' LIGUORO, Ugo
2016-01-01
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 a LTS, and define natural notions of check- point 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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2016 - Barbanera Dezani dL - Reversible client server interactions (preprint).pdf
Accesso aperto
Descrizione: Articolo principale
Tipo di file:
PREPRINT (PRIMA BOZZA)
Dimensione
463.31 kB
Formato
Adobe PDF
|
463.31 kB | Adobe PDF | Visualizza/Apri |
|
deLiguoro-2-2016_Article_ReversibleClientServerInteract.pdf
Accesso riservato
Tipo di file:
PDF EDITORIALE
Dimensione
1.19 MB
Formato
Adobe PDF
|
1.19 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
