Jens Chr. Godskesen Thomas T. Hildebrandt Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. 140-151 2005 conf/fsttcs/2005 FSTTCS http://dx.doi.org/10.1007/11590156_11 db/conf/fsttcs/fsttcs2005.html#GodskesenH05