On the expressiveness of Movement in Pure Mobile Ambients. submitted (2002)

by N Busi, G Zavattaro