Skip to Main content Skip to Navigation
Conference papers

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).
Document type :
Conference papers
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-00910170
Contributor : Romain Péchoux <>
Submitted on : Wednesday, November 27, 2013 - 3:02:41 PM
Last modification on : Thursday, March 5, 2020 - 4:51:46 PM
Long-term archiving on: : Friday, February 28, 2014 - 6:25:14 AM

File

R.pdf
Files produced by the author(s)

Identifiers

  • 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), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy. ⟨hal-00910170⟩

Share

Metrics

Record views

554

Files downloads

139