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.
2016
26
3
424
464
http://www.di.unito.it/~padovani/Papers/FairSubtypingLong.pdf
Luca Padovani
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/154509
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 10
social impact