Bisimulation Proof Methods for Mobile Ambients.

Massimo Merro, Francesco Zappa Nardelli

Browse the full ICALP paper archive.