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

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.
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>

Partager

Métriques

Consultations de
la notice

40

Téléchargements du document

119