CS297: Mobile Ambients and Membranes