Publication Date:
1999
abstract:
There has been growing interest in wide-area distributed applications in recent years. A key concept for structuring such applications is represented by mobile agents, units of executing code that can migrate between sites.
Iris type:
01.01 Articolo in rivista
Keywords:
Modelling specifications; Software/program verification. Formal methods
List of contributors:
Semini, Laura; Gnesi, Stefania
Published in: