Bounding Reactions in the Pi-calculus using Interpretations

Romain Péchoux 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We present a new resource static analysis for the pi-calculus that provides upper bounds on the number of reactions that might occur at runtime for a given process. This work is complementary to previous results on termination of processes by capturing strictly more processes, since it captures all the strongly normalizing processes, and by providing precise upper bounds on the number of communications on each channel. For that purpose, it combines interpretation methods, inspired by polynomial interpretations introduced in order to study the complexity of term rewrite systems, with a notion of resource process that mimics reaction keeping information about resource consumption in terms of communication. We also show that presented analysis is general and can be easily adapted to study space properties of processes (for example, upper bounds on the size of the maximal value sent on a given channel during reaction).
Type de document :
Communication dans un congrès
Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), Aug 2013, Bertinoro, Italy. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00910170
Contributeur : Romain Péchoux <>
Soumis le : mercredi 27 novembre 2013 - 15:02:41
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : vendredi 28 février 2014 - 06:25:14

Fichier

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

Identifiants

  • HAL Id : hal-00910170, version 1

Collections

Citation

Romain Péchoux. Bounding Reactions in the Pi-calculus using Interpretations. Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), Aug 2013, Bertinoro, Italy. 2013. 〈hal-00910170〉

Partager

Métriques

Consultations de la notice

206

Téléchargements de fichiers

99