Mikkel Bundgaard Thomas T. Hildebrandt Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. 7-29 2006 154 Electr. Notes Theor. Comput. Sci. 2 http://dx.doi.org/10.1016/j.entcs.2005.03.029 db/journals/entcs/entcs154.html#BundgaardH06