Ambient Groups and Mobility Types Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the

First Page		Document Content
Date: 2008-03-07 05:32:44		Ambient Groups and Mobility Types Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the Add to Reading List Source URL: www.di.unipi.it Download Document from Source Website File Size: 170,38 KB Share Document on Facebook