Mobile Agents in Interaction Spaces

Electronic Notes in Theoretical Computer Science

Volumn 154, Issue 1 SPEC. ISS., 2006, Pages 63-82

  Peschanski, Frédéric ^a  

^a SORBONNE UNIVERSITÉ   (France)

Author keywords

Geometrical spaces; Mobile Agents; Process calculi

Indexed keywords

COMMUNICATION SYSTEMS; GEOMETRY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; MULTICASTING; SEMANTICS;

ASYNCHRONOUS MULTICAST COMMUNICATIONS; GEOMETRICAL SPACES; MOBILE AGENTS; PROCESS CALCULI;

INTELLIGENT AGENTS;

EID: 33646189398     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.033     Document Type: Article

References (14)

1. Agha G., Mason I.A., Smith S.F., and Talcott C.L. A foundation for actor computation. Journal of Functional Programming 7 1 (January 1997) 1-69
2. Amadio R., Castellani I., and Sangiorgi D. On bisimulations for the asynchronous pi-calculus. CONCUR'96. LNCS volume 1119 (2001), Springer Verlag
3. Cardelli L., and Gordon A.D. Mobile ambients. Theoretical Computer Science 240 1 (June 2000) 177-213
4. Ene C., and Muntean T. Expressiveness of point-to-point versus broadcast communications. Symposium: Fundamentals of Computation Theory. LNCS volume 1684 (1999), Springer Verlag
5. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR'96), volume 1119 of LNCS, pages 406-421, Pisa, Italy, August 26-29 1996. Springer
6. Fuggetta A., Picco G.P., and Vigna G. Understanding code mobility. IEEE Transactions on Software Engineering 24 5 (May 1998)
7. 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 436-442 New York, NY, USA
8. 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
9. Merro M., and Sangiorgi D. On asynchrony in name-passing calculi. Proc. 25th ICALP. LNCS volume 1443 (1998), Springer Verlag
10. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
11. Odersky M. Polarized name passing. Proc. FST & TCS. LNCS (December 1995), Springer Verlag
12. Peschanski F. On linear time and congruence in channel-passing calculi. Communicating Process Architectures (2004), IOS Press 39-53 9
13. Pierce B.C., and Sangiorgi D. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science 6 5 (1996) 409-453
14. Unypoth A., and Sewell P. Nomadic pict: Correct communication infrastructure for mobile computation. POPL 2001. ACM Sigplan Notices volume 36 (March 2001)