Mobile agents coordination in mobadtl

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1906, Issue , 2000, Pages 232-248

  Ferrari, Gianluigi ^a   Montangero, Carlo ^a   Semini, Laura ^a   Semprini, Simone ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MESSAGE PASSING; NETWORK SECURITY; SPECIFICATIONS;

AGENTS COORDINATION; COORDINATION POLICIES; DISTRIBUTED SYSTEMS; ELECTRONIC COMMERCE APPLICATIONS; INCREASED FLEXIBILITY; LOGIC-BASED APPROACH; SPECIFICATION AND VERIFICATION; SPECIFICATION PROCESS;

MOBILE AGENTS;

EID: 84979246873     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45263-x_15     Document Type: Conference Paper

References (29)

1. J.-M. Andreoli, C. Hankin, and D. L. Métayer, editors. Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press, 1996.
2. F. Arbab, M. Bonsangue, and F. de Boer. A coordination language for mobile components. In Proc. of the 2000 ACM Symposium on Applied Computing (SAC 2000). ACM Press, 2000.
3. K. Arnold and J. Gosling. The Java Programming Language. The Java Series. Addison-Wesley, Reading, MA, second edition, 1998.
4. R. Back and J. von Wright. Refinement Calculus. A Systematic Introduction. Graduate texts in computer science. Springer-Verlag, 1998.
5. L. Cardelli, G. Ghelli, and A. Gordon. Mobility Types for Mobile Ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, 26th Colloquium on Automata, Languages and Programming (ICALP) (Pr ague, Czech Republic), volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer-Verlag, July 1999.
6. L. Cardelli and A. Gordon. Mobile ambients. In M. Nivat, editor, Foundations of Software Science and Computational Structures, volume 1378 of Lecture Notes in Computer Science, pages 140-155. Springer Verlag, 1998.
7. N. Carriero and D. Gelernter. Coordination Languages and their Significance. Communications of the ACM, 5 (2): 97-107, 1989.
8. N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32 (4): 444-459, 1989.
9. K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading Mass., 1988.
10. G. Cugola, C. Ghezzi, G. Picco, and G. Vigna. Analyzing Mobile Code Languages. In Mobile Object Systems: Towards the Programmable Internet, volume 1222 of Lecture Notes in Computer Science, pages 93-110. Springer-Verlag, Apr 1997.
11. R. De Nicola, G. Ferrari, and R. Pugliese. A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5): 315-330, 1998.
12. R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, to appear, 2000. Available at http://rap.dsi.unifi.it/papers.html.
13. G. Ferrari, C. Montangero, L. Semini, and S. Semprini. Multiple Security Policies in Mobadtl. In Proc. Workshop on Issues in the Theory of Security (WITS’00), Geneva, 7, 8 July 2000.
14. C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. CONCUR’96: Concurrency Theory, 7th International Conference, volume 1119 of Lecture Notes in Computer Science, pages 406-421, Pisa, Aug. 1996. Springer-Verlag.
15. A. Fuggetta, G. Picco, and G. Vigna. Understanding Code Mobility. IEEE Transactions on Software Engineering, 24 (5): 342-361, 1998.
16. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7 (1): 80-112, 1989.
17. L. Gong. Inside Java 2 Platform Security. Addison-WESLEY, 1999.
18. M. Hennessy and J. Riely. Resource Access Control in Systems of Mobile Agents. In U. Nestmann and B. Pierce, editors, Proc. HLCL’98: High-Level Concurrent Languages, volume 16. 3 of Electronic Notes on Theoretical Computer Science, pages 3-17, Nice, France, Sep. 1998. Elsevier Science Publishers.
19. D. B. Lange and M. Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, 1998.
20. F. Levi and D. Sangiorgi. Controlling Interference in Ambients. In Proc. 27th Annual ACM Symp. on Principles of Programming Languages, pages 352-364, Boston, Jan 00. ACM Press.
21. P. McCann and G.-C. Roman. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering, 24 (2): 97-110, Feb. 1998.
22. C. Montangero and L. Semini. Composing Specifications for Coordination. In P. Ciancarini and A. Wolf, editors, Proc. 3nd Int. Conf. on Coordination Models and Languages, volume 1594 of Lecture Notes in Computer Science, pages 118-133, Amsterdam, Apr. 1999. Springer-Verlag.
23. G. Necula. Proof-carrying code. In Proc. of the ACM Symposium on Principles of Programming Languages. ACM, 1997.
24. L. Paulson and T. Nipkow. Isabelle. www.cl.cam.ac.uk/Research/HVG/Isabelle/.
25. D. Sangiorgi. Personal Communication.
26. L. Semini and C. Montangero. A Refinement Calculus for Tuple Spaces. Science of Computer Programming, 34: 79-140, 1999.
27. P. Sewell and J. Vitek. Secure Composition of Insecure Components. In Proc. Computer Security Foundations Workshop 12, CSFW-12. IEEE, 1999.
28. J. Vitek and G. Castagna. Towards a Calculus of Secure Mobile Computations. In Proc. Workshop on Internet Programming Languages, volume 1686 of Lecture Notes in Computer Science, Chicago, Illinois, May 1998. Springer-Verlag.
29. J. E. White. Mobile Agents. In J. Bradshaw, editor, Software Agents. AAAI Press and MIT Press, 1996.