Dependency analysis of Mobile Systems

Abstract : We propose an Abstract Interpretation-based analysis for automatically detecting the dependences between the channels used by the agents of a mobile system. We focus our study on the mobile systems written in the pi-calculus. We first refine the standard semantics in order to restore the link between channels and the agents which have declared them. We then abstract the dependency relations which are always satisfied by the channels of the agents of mobile systems.
Type de document :
Communication dans un congrès
Daniel Le Métayer. the European Symposium on Programming (ESOP'02), Apr 2002, Grenoble, France. Springer, 2305, pp.314--330, 2002, Lecture Notes in Computer Science. 〈10.1007/3-540-45927-8_22〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00527924
Contributeur : Jérôme Feret <>
Soumis le : mercredi 20 octobre 2010 - 15:59:36
Dernière modification le : mardi 24 avril 2018 - 17:20:12

Lien texte intégral

Identifiants

Collections

Citation

Jérôme Feret. Dependency analysis of Mobile Systems. Daniel Le Métayer. the European Symposium on Programming (ESOP'02), Apr 2002, Grenoble, France. Springer, 2305, pp.314--330, 2002, Lecture Notes in Computer Science. 〈10.1007/3-540-45927-8_22〉. 〈inria-00527924〉

Partager

Métriques

Consultations de la notice

74