Formalizing Properties of Mobile Agent Systems

Lorenzo Bettini, Rocco De Nicola, Michele Loreti. Formalizing Properties of Mobile Agent Systems. In Farhad Arbab, Carolyn L. Talcott, editors, Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings. Volume 2315 of Lecture Notes in Computer Science, pages 72-87, Springer, 2002. [doi]

Authors

Lorenzo Bettini

This author has not been identified. Look up 'Lorenzo Bettini' in Google

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Michele Loreti

This author has not been identified. Look up 'Michele Loreti' in Google