Bisimulation proof methods for mobile ambients /
Merro, Massimo.
Nardelli, Francesco Zappa.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
2003.
Caption title.
"January 2003."