Principles of mobile Maude

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

Volumn 1882, Issue , 2000, Pages 73-85

  Durán, Francisco ^a   Eker, Steven ^a   Lincoln, Patrick ^a   Meseguer, José ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; MESSAGE PASSING; SEMANTICS;

APPLICATION CODES; COMPUTATIONAL ENVIRONMENTS; EXPRESSIVE POWER; HIGH PERFORMANCE IMPLEMENTATIONS; MOBILE COMPUTATIONS; OBJECT ORIENTATION; REWRITING LOGIC LANGUAGE; SECURITY MECHANISM;

MOBILE AGENTS;

EID: 84944872561     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45347-5_7     Document Type: Conference Paper

References (18)

1. M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. Information and Computation, 148:1–70, 1999. An extended version of this paper appears as Research Report 149, Digital Equipment Corporation Systems Research Center, January 1998.
2. L. Cardelli and A. Gordon. Mobile ambients. In M. Nivat, editor, Proceedings of FoSSaCS’98: Foundations of Software Science and Computational Structures, number 1378 in Lecture Notes in Computer Science, pages 140–155. Springer- Verlag, 1998. To appear in TCS July 2000.
3. P. Ciancarini and A. W. (eds.). Coordination Languages And Models, volume 1594. Springer LNCS, 1999.
4. M. Clavel, F. Duràn, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http://maude.csl.sri.com.
5. M. Clavel, F. Durán, S. Eker, and J. Meseguer. Building equational proving tools by reflection in rewriting logic. In Proc. of the CafeOBJ Symposium’98, Numazu, Japan. CafeOBJ Project, April 1998. http://maude.csl.sri.com.
6. G. Denker, J. Meseguer, and C. Talcott. Formal specification and analysis of active networks and communication protocols: the Maude experience. In Proc. DARPA Information Survivability Conference and Exposition DICEX 2000, Vol. 1, Hilton Head, South Carolina, January 2000, pages 251–265. IEEE, 2000.
7. C. Fournet and G. Gonthier. The reflexive cham and the join-calculus. In Proceedings of 23rd ACM Symposium on Principles of Programming Languages, pages 52–66. ACM, 1996.
8. R. S. Gray, D. Kotz, G. Cybenko, and D. Rus. D’Agents: Security in a multiplelanguage, mobile-agent system. In G. Vigna, editor, Mobile Agents and Security, LNCS 1419, pages 154–187. Springer-Verlag, 1998.
9. D. Kotz and R. S. Gray. Mobile agents and the future of the Internet. ACM Operating Systems Review, 33(3):7–13, August 1999.
10. D. Lange and M. Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, 1998.
11. D. B. Lange and M. Oshima. Seven good reasons for mobile agents. Communications of the Association for Computing Machinery, 42:88–89, March 1999.
12. D. Martin, A. Cheyer, and D. Moran. The open agent architecture: A framework for building distributed software systems. Applied Artificial Intelligence, 13:91–128, 1999. Available via http://www.ai.sri.com/~cheyer/papers/aai/oaa.html.
13. J. Meseguer. Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems. To appear in Proc. FMOODS 2000 Kluwer, 2000.
14. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73–155, 1992.
15. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (Parts I and II). Information and Computation, 100:1–77, 1992.
16. G. Roman, P. McCann, and J. Plun. Mobile UNITY: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology, 6:250–282, July 1997.
17. A. Tripathi, N. Karnik, M. Vora, T. Ahmed, and R. Singh. Mobile agent programming in ajanta. In Proceedings of the 19th International Confernce on Distributed Computing Systems (ICDCS’99), 1999.
18. J. White. Telescript technology: the foundation for the electronic marketplace. General Magic White Paper, General Magic, Inc., 1994.