Tom Holvoet;Thilo Kielmann
-;-
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering