Typing Progress in Communication-Centred Systems

Abstract : 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.
Type de document :
Communication dans un congrès
Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.236-250, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_17〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01486030
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:52:59
Dernière modification le : jeudi 9 mars 2017 - 17:00:11
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:39:28

Fichier

978-3-642-38493-6_17_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Hugo Torres Vieira, Vasco Thudichum Vasconcelos. Typing Progress in Communication-Centred Systems. Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.236-250, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_17〉. 〈hal-01486030〉

Partager

Métriques

Consultations de la notice

20

Téléchargements de fichiers

13