Coordinating mobile agents in interaction spaces

Science of Computer Programming

Volumn 66, Issue 3, 2007, Pages 246-265

  Peschanski, Frédéric ^a   Darrasse, Alexis ^a   Guts, Nataliya ^a   Bobbio, Jérémy ^a  

^a SORBONNE UNIVERSITÉ   (France)

Author keywords

Coordination languages; Geometry; Mobile agents; Process algebras

Indexed keywords

ALGEBRA; COMMUNICATION CHANNELS (INFORMATION THEORY); FORMAL LANGUAGES; MATHEMATICAL MODELS; SEMANTICS; VERIFICATION;

AGENT MIGRATION; ASYNCHRONOUS COMMUNICATIONS; COORDINATION LANGUAGES; MULTICAST ROUTING; PROCESS ALGEBRAS; REMOTE CLONING;

MOBILE AGENTS;

EID: 34249303733     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.01.011     Document Type: Article

References (23)

1. Agha G., Mason I.A., Smith S.F., and Talcott C.L. A foundation for actor computation. Journal of Functional Programming 7 1 (1997) 1-69
2. Amadio R., Castellani I., and Sangiorgi D. On bisimulations for the asynchronous pi-calculus. CONCUR'96. LNCS vol. 1119 (2001), Springer
3. Arbab F. Coordination of mobile components. Electronic Notes in Theoretical Computer Science 54 (2001)
4. Arbab F. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14 3 (2004) 329-366
5. Cardelli L., and Gordon A.D. Mobile ambients. Theoretical Computer Science 240 1 (2000) 177-213
6. Ene C., and Muntean T. Expressiveness of point-to-point versus broadcast communications. Symposium: Fundamentals of Computation Theory. LNCS vol. 1684 (1999), Springer
7. Fournet C., Gonthier G., Lévy J.-J., Maranget L., and Rémy D. A calculus of mobile agents. 7th International Conference on Concurrency Theory. CONCUR'96, 26-29 August 1996. LNCS vol. 1119 (1996), Springer, Pisa, Italy 406-421
8. Gelernter D., and Carriero N. Coordination languages and their significance. Communications of the ACM 35 2 (1992) 96-107
9. The Glasgow haskell compiler. http://www.haskell.org/ghc
10. Guillen-Scholten J., Arbab F., de Boer F., and Bonsangue M. Mocha-pi, an exogenous coordination calculus based on mobile channels. SAC '05: Proceedings of the 2005 ACM symposium on Applied computing (2005), ACM Press, New York, NY, USA 436-442
11. Harris T., Marlow S., Jones S.L.P., and Herlihy M. Composable memory transactions. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPOPP 2005, June 15-17, 2005, Chicago, IL, USA (2005), ACM 48-60
12. Hennessy M., Rathke J., and Yoshida N. Safedpi: A language for controlling mobile code. Acta Informatica 42 4-5 (2005) 227-290
13. The interaction spaces project. http://www-poleia.lip6.fr/~pesch/is
14. Masuyama T., Peschanski F., Oyama Y., and Yonezawa A. Mobilescope: A language with objective mobility. Proceedings of Mobile Distributed Computing MDC'04. ICDCS 2004 Workshops (2004), IEEE
15. Merro M., and Sangiorgi D. On asynchrony in name-passing calculi. Proc. 25th ICALP. LNCS vol. 1443 (1998), Springer
16. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
17. Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman, Lime: A middleware for physical and logical mobility, in: ICDCS, 2001, pp. 524-533
18. De Nicola R., Ferrari G.L., and Pugliese R. Klaim: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24 5 (1998) 315-330
19. Padopoulos G.A., and Arbab F. Coordination Models and Languages vol. 46 (1998)
20. Peschanski F. Mobile agents in interaction spaces. Proceedings of FOCLASA 2005. ENTCS vol. 154 (2005), Elsevier 63-82
21. Peschanski F., and Hym S. A stackless runtime environment for a pi-calculus. VEE '06: Proceedings of the 2nd International Conference on Virtual Execution Environments (2006), ACM Press, New York, NY, USA 57-67
22. Pierce B.C., and Sangiorgi D. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science 6 5 (1996) 409-453
23. Unypoth A., and Sewell P. Nomadic pict: Correct communication infrastructure for mobile computation. POPL 2001. ACM Sigplan Notices vol. 36 (2001)