1. Mobile ambients;Cardelli;Theoret. Comput. Sci.,2000
2. Concurrent constraint programming;Saraswat,1990
3. Concurrent Constraint Programming;Saraswat,1993
4. A calculus for access control in distributed systems;Abadi;ACM Trans. Program. Lang. Syst.,1993
5. Semantic foundations of concurrent constraint programming;Saraswat,1991