79
Voted
ICCL
1998
IEEE
15 years 4 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
195
Voted
POPL
2001
ACM
16 years 17 days ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...