Dependency analysis of Mobile Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Dependency analysis of Mobile Systems

Résumé

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.

Domaines

Autre [cs.OH]

Dates et versions

inria-00527924 , version 1 (20-10-2010)

Identifiants

Citer

Jérôme Feret. Dependency analysis of Mobile Systems. the European Symposium on Programming (ESOP'02), Apr 2002, Grenoble, France. pp.314--330, ⟨10.1007/3-540-45927-8_22⟩. ⟨inria-00527924⟩
76 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More