A Formal Language for Programming with Distributed Resources and Scopes

This paper presents a small language for distributed computation with agent mobility——Scope language. The language is different from most existing work on di...