3617211

Pigeon: a specification language for mobile agent applications

Y. Tahara;A. Ohsuga;S. Honiden

National Institute of Informatics

2004

6/26/1905 12:00:00 AM

1356

1357

"Specification languages","Mobile agents","Logic","Mobile communication","Informatics","Security","Reflection","Electronic catalog","Power system modeling","Formal specifications"

ieee

Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on

1-58113-864-4

conf

1373706