Behavioral theory for mobile ambients

Massimo Merro, Francesco Zappa Nardelli. Behavioral theory for mobile ambients. Journal of the ACM, 52(6):961-1023, 2005. [doi]

Abstract

Abstract is missing.