82
Voted
ICTCS
2001
Springer
15 years 1 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...