Bisimulation Proof Methods for Mobile Ambients (2003)

by Massimo Merro , Francesco Zappa Nardelli
Venue:IN PROC. OF ICALP’03, VOLUME 2719 OF LNCS
Citations:19 - 3 self