The subtyping relation defined for dyadic session type theories may compromise the liveness of multi-party sessions. In this paper we define a fair subtyping relation for multi-party session types that preserves liveness, we relate it with the subtyping relation for dyadic session types, and we provide coinductive, axiomatic, and algorithmic characterizations for it.
Fair Subtyping for Multi-Party Session Types
PADOVANI, Luca
2016-01-01
Abstract
The subtyping relation defined for dyadic session type theories may compromise the liveness of multi-party sessions. In this paper we define a fair subtyping relation for multi-party session types that preserves liveness, we relate it with the subtyping relation for dyadic session types, and we provide coinductive, axiomatic, and algorithmic characterizations for it.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FairSubtypingLong.pdf
Accesso aperto
Tipo di file:
PREPRINT (PRIMA BOZZA)
Dimensione
698.12 kB
Formato
Adobe PDF
|
698.12 kB | Adobe PDF | Visualizza/Apri |
|
MSCS 2014 A.pdf
Accesso riservato
Descrizione: Articolo principale
Tipo di file:
PDF EDITORIALE
Dimensione
535.37 kB
Formato
Adobe PDF
|
535.37 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
