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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
