Bounding Reactions in the Pi-calculus using Interpretations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Bounding Reactions in the Pi-calculus using Interpretations


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
Origin Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-00910170 , version 1


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⟩
389 View
80 Download


Gmail Mastodon Facebook X LinkedIn More