A decentralized implementation of mobile ambients (2008)

by F Gadducci, G V Monreale
Venue:Graph Transformation, volume 5214 of LNCS