From Ambients To A Routing Calculus
Xudong Guan · 2004
From a more simplified encoding of -calculus into pure ambients, we derive a routing calculus which is simple and expressive. While being a direct subset of pure robust ambients, the basic version of this calculus is able to encode , and simulate D to some extent. By adding a primitive that enables mobile agent acquiring the current location name, the calculus is able to give a reasonable and much simpler encoding of D .