Mobile UNITY schemas for agent coordination

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

Volumn 2589, Issue , 2003, Pages 126-150

  Roman, Gruia Catalin ^a   Payton, Jamie ^a  

^a WASHINGTON UNIVERSITY IN ST LOUIS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

AGENT COORDINATION; COMPUTING MODEL; COORDINATION MODEL; EXPRESSIVE POWER; FORMAL MODEL; FORMAL SEMANTICS; NOTATION SYSTEMS; SPECIAL NEEDS;

COMPUTATION THEORY;

EID: 33847209898     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_7     Document Type: Article

References (19)

1. R. J. R. Back and K. Sere. Stepwise refinement of parallel algorithms. Science of Computer Programming, 13(2-3):133-180, 1990.
2. G. Cabri, L. Leonardi, and F. Zambonelli. MARS: A programmable coordination architecture for mobile agents. IEEE Internet Computing, 4(4):26-35, 2000.
3. L. Cardelli and A. Gordon. Mobile ambients. Theoretical Computer Science, Special Issue on Coordination, 240(1):177-213, June 2000.
4. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, New York, NY, 1988.
5. N. Davies, S. Wade, A. Friday, and G. Blair. Limbo: A tuple space based platform for adaptive mobile applications. In Proceedings of the International Conference on Open Distributed Processing/Distributed Platforms (ICODP/ICDP '97), pages 291-302, May 1997.
6. D. Gelernter. Generative communication in Linda. ACM Computing Surveys, 7(1):80-112, Jan. 1985.
7. R. Gray, D. Kotz, G. Cybenko, and D. Rus. D'agents: Security in a multiple-language, mobile agent system. In G. Vigna, editor, Mobile Agents and Security, volume 1419 of Lecture Notes in Computer Science, pages 154-187. 1998.
8. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
9. C. Mascolo. MobiS: A specification language for mobile systems. In Proceedings of 3rd Int. Conf. on Coordination Models and Languages, volume 1594, pages 37-52. Springer-Verlag, 1999.
10. C. Mascolo, G. P. Picco, and G.-C. Roman. A fine-grained model for code mobility. In Proceedings of the Seveth European Software Engineering Conference ESEC, volume 1687 of Lecture Notes in Computer Science, pages 39-56. Springer-Verlag, September 1999.
11. P. J. McCann and G.-C. Roman. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering, 24(2):97-110, 1998.
12. P. J. McCann and G.-C. Roman. Modeling Mobile IP in Mobile UNITY. ACM Transactions on Software Engineering and Methodology, 8(2):115-146, April 1999.
13. R. Milner. Communication and Concurrency. Prentice Hall, London, 1989.
14. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100(1):1-77, 1992.
15. A. L. Murphy. Enabling the Rapid Development of Dependable Applications in the Mobile Environment. PhD thesis, Washington University in St. Louis, August 2000.
16. A. L. Murphy, G.P Picco, and G.-C. Roman. LIME: A middleware for physical and logical mobility. In Proceedings of the 21st International Conference on Distributed Systems, pages 524-533. IEEE Computer Society Press, April 2001.
17. A. Omicini and F. Zambonelli. The TuCSoN coordination model for mobile information agents. In Proceedings of the 1st Workshop on Innovative Internet Information Systems, June 1998.
18. G. P. Picco, G.-C. Roman, and P. J. McCann. Reasoning about code mobility in Mobile UNITY. ACM Transactions on Software Engineering and Methodology, 10(3):338-395, 2001.
19. G.-C. Roman and P. J. McCann. A notation and logic for mobile computing. Formal Methods in System Design, 20:47-68, 2002.