Extending Howe’s method to early bisimulations for typed mobile embedded resources with local names (2005)

Cached

Download Links

by Jens Chr. Godskesen , Thomas Hildebrandt
Venue:FSTTCS, LNCS 3821
Citations:13 - 3 self