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]
No references recorded for this publication.
No citations of this publication recorded.