Back to Results
First PageMeta Content



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

Document Date: 2008-03-07 05:32:44


Open Document

File Size: 170,38 KB

Share Result on Facebook
UPDATE