Communicating sequential processes
Communicating sequential processes
Communications of the ACM
Facile: a symmetric integration of concurrent and functional programming
International Journal of Parallel Programming
A calculus of mobile processes, II
Information and Computation
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Locality Based Linda: Programming with Explicit Localities
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Coordinating Mobile Agents via Blackboards and Access Rights
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Interactive Mobile Agents in X-Klaim
WETICE '98 Proceedings of the 7th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Mobile Code Paradigms and Technologies: A Case Study
MA '97 Proceedings of the First International Workshop on Mobile Agents
Some Issues in the Semantics of Facile Distributed Programming
Proceedings of the REX Workshop on Sematics: Foundations and Applications
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Translating Strong Mobility into Weak Mobility
MA '01 Proceedings of the 5th International Conference on Mobile Agents
Hi-index | 0.00 |
One of the principal aims of distributed programming research is the definition of paradigms which permits the description of Global Computation, as Cardelli calls them, i.e. computations on a net of heterogeneous sites. In this context, it seems that code mobility is a good paradigm for limiting network traffic. Here we will describe the implementation, in Ada95, of Klaim, a kernel language that uses code mobility and gives the possibility of coordinating the activity of processes running on a net.