about this paper

presentation abstract bibitem

downloads

slides paper editor link
Jérôme Feret.
Dependency analysis of Mobile Systems.
In Proceedings of the European Symposium on Programming, ESOP'02, Grenoble, France, April 6--14, 2002, D.Le Métayer (Ed.), Lecture Notes in Computer Science 2305, pp. 314--330.
© Springer-Verlag, Berlin, Germany.

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. 

@INPROCEEDINGS{feret:esop02,
  author = {J{\'e}r{\^o}me Feret},
  title = {Dependency analysis of Mobile Systems},
  booktitle = {European Symposium on Programming (ESOP'02)},
  series = {LNCS},
  page = {314--330},
  number = {2305},
  year = {2002},
  publisher = {Springer-Verlag},
  note = {© Springer-Verlag}
}