On the expressiveness of movement in pure mobile ambients (2002)

by N Busi, G Zavattaro
Venue:In Foundations of Wide Area Network Computing, ENTCS 66(3