Bounding Reactions in the Pi-calculus using Interpretations - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Bounding Reactions in the Pi-calculus using Interpretations

Résumé

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).
Fichier principal
Vignette du fichier
R.pdf (398.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00910170 , version 1 (27-11-2013)

Identifiants

  • HAL Id : hal-00910170 , version 1

Citer

Romain Péchoux. Bounding Reactions in the Pi-calculus using Interpretations. Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy. ⟨hal-00910170⟩
397 Consultations
91 Téléchargements

Partager

More