Deadlock and lock freedom in the linear π-calculus

Luca Padovani 1, *
Abstract : We study two refinements of the linear π-calculus that ensure deadlock freedom (the absence of stable states with pending linear communications) and lock freedom (the eventual completion of pending linear communications). The main feature of both type systems is a new form of channel polymorphism that affects their accuracy in a significant way: they are the first of their kind that can deal with recursive processes communicating in cyclic network topologies.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00932356
Contributeur : Luca Padovani <>
Soumis le : lundi 20 janvier 2014 - 13:43:13
Dernière modification le : lundi 20 janvier 2014 - 14:00:37
Document(s) archivé(s) le : samedi 8 avril 2017 - 20:34:17

Fichier

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

Identifiants

  • HAL Id : hal-00932356, version 2

Citation

Luca Padovani. Deadlock and lock freedom in the linear π-calculus. 2014. 〈hal-00932356v2〉

Partager

Métriques

Consultations de la notice

375

Téléchargements de fichiers

508