Context-Free Session Type Inference

Abstract : Some interesting communication protocols can be precisely described only by context-free session types, an extension of conventional session types with a general form of sequential composition. The complex metatheory of context-free session types, however, hinders the definition of corresponding checking and inference algorithms. In this work we address and solve these problems introducing a new type system for context-free session types of which we provide two OCaml embeddings.
Type de document :
Pré-publication, Document de travail
2016
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01385258
Contributeur : Luca Padovani <>
Soumis le : vendredi 21 octobre 2016 - 10:39:26
Dernière modification le : lundi 24 octobre 2016 - 17:05:30

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01385258, version 1

Citation

Luca Padovani. Context-Free Session Type Inference. 2016. <hal-01385258>

Partager

Métriques

Consultations de
la notice

95

Téléchargements du document

143