On the expressive power of movement and restriction in pure mobile ambients

Nadia Busi, Gianluigi Zavattaro. On the expressive power of movement and restriction in pure mobile ambients. Theoretical Computer Science, 322(3):477-515, 2004. [doi]

Abstract

Abstract is missing.