Typing Progress in Communication-Centred Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Typing Progress in Communication-Centred Systems

Résumé

We present a type system for the analysis of progress in session-based communication centred systems. Our development is carried out in a minimal setting considering classic (binary) sessions, but building on and generalising previous work on progress analysis in the context of conversation types. Our contributions aim at underpinning forthcoming works on progress for session-typed systems, so as to support richer verification procedures based on a more foundational approach. Although this work does not target expressiveness, our approach already addresses challenging scenarios which are unaccounted for elsewhere in the literature, in particular systems that interleave communications on received session channels.
Fichier principal
Vignette du fichier
978-3-642-38493-6_17_Chapter.pdf (362.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01486030 , version 1 (09-03-2017)

Licence

Identifiants

Citer

Hugo Torres Vieira, Vasco Thudichum Vasconcelos. Typing Progress in Communication-Centred Systems. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.236-250, ⟨10.1007/978-3-642-38493-6_17⟩. ⟨hal-01486030⟩
94 Consultations
67 Téléchargements

Altmetric

Partager

More