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 theAdd to Reading ListSource URL: www.di.unipi.itDownload Document from Source WebsiteFile Size: 170,38 KBShare Document on Facebook |