Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

Résumé

We define complete type reconstruction algorithms for two type systems ensuring deadlock and lock freedom of linear π-calculus processes. Our work automates the verification of deadlock/lock freedom for a non-trivial class of processes that includes interleaved binary sessions and, to great extent, multiparty sessions as well. A Haskell implementation of the algorithms is available.

Domaines

Informatique [cs] Réseaux et télécommunications [cs.NI]
Fichier principal
Vignette du fichier
978-3-319-19282-6_6_Chapter.pdf (227.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01774941

Soumis le : mardi 24 avril 2018-10:54:10

Dernière modification le : mardi 9 janvier 2024-12:34:04

Archivage à long terme le : mercredi 19 septembre 2018-09:39:03

Télécharger pour visualiser

Dates et versions

hal-01774941 , version 1 (24-04-2018)

Licence

Paternité

Identifiants

Citer

Luca Padovani, Tzu-Chun Chen, Andrea Tosatto. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.83-98, ⟨10.1007/978-3-319-19282-6_6⟩. ⟨hal-01774941⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-WG IFIP-TC6 IFIP-WG6-1 IFIP-COORDINATION IFIP-DISCOTEC IFIP-LNCS-9037
163 Consultations
312 Téléchargements

Altmetric

Partager

More