1. Use actor language to represent the two dining philosopher problem without deadlock.
2. Use Mobile Ambients to represent the two dining philosopher problem without deadlock.
3. In mobility primitives, why not define open inside the ambient?