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

Luca Padovani 1 Tzu-Chun Chen 2 Andrea Tosatto 1
1 Dipartimento di Informatica [Torino]
2 TU Darmstadt - Technische Universität Darmstadt
Abstract : We define complete type reconstruction algorithms for two type sys-tems 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, multi-party sessions as well. A Haskell implementation of the algorithms is available.
Keywords : polymorphic recursion linear pi calculus type reconstruction algorithms deadlock and lock freedom
Type de document :
Pré-publication, Document de travail
2015
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01105202
Contributeur : Luca Padovani <>
Soumis le : lundi 19 janvier 2015 - 23:08:09
Dernière modification le : mardi 20 janvier 2015 - 10:18:11
Document(s) archivé(s) le : lundi 20 avril 2015 - 11:10:59

Fichier

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

Identifiants

  • HAL Id : hal-01105202, version 1

Citation

Luca Padovani, Tzu-Chun Chen, Andrea Tosatto. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. 2015. <hal-01105202>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

39

Téléchargements du document

119

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD