José M. Troya;Antonio Vallecillo
-;-
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering