Structured nets in KLAIM

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2000, Pages 174-180

  Bettini, Lorenzo ^a   Loreti, Michele ^a   Pugliese, Rosario ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL SYSTEMS; MOBILE AGENTS;

BUILDING PROCESS; HIERARCHICAL MODEL; HIERARCHICAL STRUCTURES; INTERNET ARCHITECTURE; KERNEL LANGUAGES; PARTIAL ORDER RELATION; PERMIT MODIFICATIONS; PROCESS OPERATION;

APPLICATION PROGRAMS;

EID: 84897394567     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/335603.335736     Document Type: Conference Paper

References (30)

1. K. Arnold, J. Gosling. The Java Programming Language. Addison Wesley, 1996.
2. L. Bettini, Progetto e realizzazione di un linguaggio di programmazione per codice mobile, Master Thesis, Univ. Firenze, 1998. (Available at http://rap.dsi.unifi.it)
3. L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Interactive Mobile Agents in X-KLAIM. In [22], pp 110-115, 1998.
4. L. Bettini, M. Loreti, R. Pugliese. Structured Nets in KLAIM Draft, 1999. (Available at http://rap.dsi.unifi.it)
5. G. Cabri, L. Leonardi, F. Zambonelli. Reactive Tuple Spaces for Mobile Agent Coordination. In Proc. of the 2nd Int. Workshop on Mobile Agents, Stoccarda (D), LNCS 1477, Springer, September 1998.
6. G. Cabri, L. Leonardi, F. Zambonelli. How to Coordinate Internet Applications based on Mobile Agents. In [22], June 1998.
7. L. Cardelli, A. Gordon, Mobile Ambients. In Proc. of FoS-SaCS'98 (M. Nivat, Ed.), LNCS 1378, pp.140-155, Springer, 1998.
8. N. Carriero, D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444-458, 1989.
9. N. Carriero, D. Gelernter, L. Zuck. Bauhaus Linda. In [11], pp.66-76, 1995.
10. P. Ciancarini. PoliS: a Programming Model for Multiple Tuple Spaces. In Proc. of the 8th Int. Workshop on Sofware Specification and Design, pp.44-51, 1991.
11. P. Ciancarini, O. Nierstrasz, A. Yonezawa, (Eds.) Object-Based Models and Languages for Concurrent Systems, LNCS 924, 1995.
12. R. De Nicola, G. Ferrari, R. Pugliese. KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Trans. on Software Engineering, 24(5):315-330, IEEE, 1998.
13. R. De Nicola, G. Ferrari, R. Pugliese. Types as Specifications of Access Policies. In Secure Internet Programming: Security Issues for Distributed and Mobile Objects (J. Vitek, C. Jensen, Eds.), LNCS 1603, pp. 117-146, Springer, 1999.
14. R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri. Types for Access Control. To appear in Theoretical Computer Science. (Available at http://rap.dsi.unifi.it/papers.html)
15. C. Fournet, G. Gonthier. The reflexive chemical abstract machine and the join calculus. In Proc. of the ACM Symp. on Principles of Programming Languages, pp.372-385, 1996.
16. C. Fournet, G. Gonthier, J.-L. Lévy, L. Maranget, D. Rémy. A Calculus of Mobile Agents. In Proc. of CONCUR'96 (U. Montanari, V. Sassone, Eds.), LNCS 1119, pp.406-421, Springer, 1996.
17. A. Fuggetta, G.P. Picco, G. Vigna. Understanding Code Mobility. IEEE Trans. on Software Engineering, 24(5):342-361, IEEE, 1998.
18. D. Garlan, D. Le Metayer (Eds). Coordination Languages and Models. LNCS 1282, Springer, 1997.
19. R. van der Goot, J. Schaeffer, G.V. Wilson. Safer Tuple Spaces. In [18], pp.289-301, 1997.
20. D. Gelernter. Generative Communication in Linda. ACM Trans. on Programming Languages and Systems, 7(1):80-112, 1985.
21. D. Gelernter. Multiple Tuple Spaces in Linda. In Proc. of PARLE'89 (G. Goos, J. Hartmanis, Eds.), LNCS 365, pp.20-27, Springer, 1989.
22. IEEE Computer Society Press, Proc. of 7th International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE) '98, Stanford (CA), June 1998.
23. R. Milner, J. Parrow, D. Walker. A calculus of mobile processes, (Part I and II). Information and Computation, 100:1-77, 1992.
24. N. Minsky, J. Leitcher. Law-governed Linda as a coordination model. In [11], pp.125-146, 1995.
25. A. Omicini, F. Zambonelli. The TuCSoN Coordination Model for Mobile Information Agents. In Proc. of the 1st Workshop on Innovative Internet Information Systems, Pisa, June 1998.
26. G.P. Picco, A.L. Murphy, G.-C. Roman. Lime: Linda Meets Mobility. Technical report WUCS-98-21, Washington University, Dep. of Computer Science, St. Louis, Missouri, 1998.
27. G.A. Papadopoulos, F. Arbab. Coordination models and languages. Advances in Computers, 46, 1998.
28. Scientific Computing Associate, New Haven, CT, Paradise: User's Guide and Reference Manual. 1994.
29. Sun Microsystems. The JavaSpace Specifications. http://java.sun.com/ products/javaspaces, 1997.
30. T. Thorn. Programming Languages for Mobile Code. ACM Computing Surveys, September 1997.