@Inproceedings{EPTCS39.4,
  author    = {Peschanski, Fr\'ed\'eric  and Klaudel, Hanna  and Devillers, Raymond },
  year      = {2010},
  title     = {A Decidable Characterization of a Graphical Pi-calculus with Iterators},
  editor    = {Chen, Yu-Fang and Rezine, Ahmed},
  booktitle = {{\rm Proceedings 12th International Workshop on}
               Verification of Infinite-State Systems,
               {\rm Singapore, 21st September 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {39},
  publisher = {Open Publishing Association},
  pages     = {47-61},
  doi       = {10.4204/EPTCS.39.4},
}