On the expressive power of KLAIM-based calculi

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text

Engineering, Mathematics, Markov Decision Processes +10

Generative communication in Linda

David Gelernter · ACM Transactions on Programming Languages and Systems · 1985 · 2.3K citations · Full text

Computing, Communication, Computer Science +14

Mobile ambients

Luca Cardelli, Andrew D. Gordon · Theoretical Computer Science · 2000 · 1.1K citations

Computing, Computer Systems, Mobile Computing +4

KLAIM: a kernel language for agents interaction and mobility

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese · IEEE Transactions on Software Engineering · 1998 · 510 citations

Computing, Computer Science, Computer Systems +14

Resource Access Control in Systems of Mobile Agents

Matthew Hennessy, James Riely · Information and Computation · 2002 · 259 citations · Full text

Computing, Computer Systems, Information Technology +14