@Article{DBLP:journals/mscs/BonchiGM14,
   assoc_res = {Filippo Bonchi},
   status = {public},
   number = {4},
   task = {T2.2},
   doi = {10.1017/S0960129512000333},
   year = {2014},
   invited = {no},
   volume = {24},
   main = {no},
   issn = {0960-1295},
   title = {{RPO} semantics for mobile ambients},
   author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale},
   period = {year4},
   journal = {Mathematical Structures in Computer Science},
   partner = {UNIPI},
   wp = {WP2}
}