Abstract | ||
---|---|---|
We introduce a calculus for mobile agents and give its chemical semantics, with a precise definition for migration, failure, and failure detection. Various examples written in our calculus illustrate how to express remote executions, dynamic loading of remote resources and protocols with mobile agents. We give the encoding of our distributed calculus into the join-calculus.1 Introduction It is not easy to match concurrency and distribution. Suppose, for instance,that we want to implement a ... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-61604-7_67 | CONCUR |
Keywords | Field | DocType |
mobile agents | Join-calculus,Remote procedure call,Structural rule,Computer science,Mobile agent,Theoretical computer science,Semantics,Calculus,Encoding (memory) | Conference |
ISBN | Citations | PageRank |
3-540-61604-7 | 232 | 16.98 |
References | Authors | |
9 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cédric Fournet | 1 | 3698 | 213.79 |
Georges Gonthier | 2 | 2275 | 195.06 |
Jean-jacques Lévy | 3 | 932 | 95.41 |
Luc Maranget | 4 | 808 | 49.83 |
Didier Rémy | 5 | 682 | 49.82 |