## A Distributed Object Calculus (2000)

Venue: | In FOOL |

Citations: | 9 - 0 self |

### BibTeX

@INPROCEEDINGS{Jeffrey00adistributed,

author = {Alan Jeffrey},

title = {A Distributed Object Calculus},

booktitle = {In FOOL},

year = {2000},

publisher = {ACM Press}

}

### Years of Citing Articles

### OpenURL

### Abstract

this paper, these two strands of research are brought together, to provide a model for distributed object-based languages. In doing so, two features of distributed programming become clear:

### Citations

889 | A Theory of Objects
- Abadi, Cardelli
- 1996
(Show Context)
Citation Context ...g languages. The success of Java, and the Java security model in particular, has made the study of type systems for OO languages critical to the success of distributed programming. Abadi and Cardelli =-=[1]-=- have provided an excellent framework for the study of object-based OO languages in the object calculus. Gordon and Hankin [5] have shown how this work can be extended to deal with concurrent language... |

809 | Mobile Ambients
- Cardelli, Gordon
- 1998
(Show Context)
Citation Context ... deal with concurrent languages, but to date there is no work on a distributed semantics for the object calculus. There have been many semantics for distributed calculi, notably Cardelli and Gordon's =-=[4]-=- ambient calculus, Fournet et al.'s [3] distributed join calculus, Hennessy and Riely's [11, 12] Dp, Yoshida and Hennessy's [15] Dlp, Sewell's [13] distributed p, and Vitek and Castagna's [14] Seal ca... |

267 | A calculus of mobile agents
- Fournet, Gonthier, et al.
(Show Context)
Citation Context ... date there is no work on a distributed semantics for the object calculus. There have been many semantics for distributed calculi, notably Cardelli and Gordon's [4] ambient calculus, Fournet et al.'s =-=[3]-=- distributed join calculus, Hennessy and Riely's [11, 12] Dp, Yoshida and Hennessy's [15] Dlp, Sewell's [13] distributed p, and Vitek and Castagna's [14] Seal calculus. None of these languages are dir... |

119 | Comparing Object Encodings
- Bruce, Cardelli, et al.
- 1999
(Show Context)
Citation Context ...Castagna's [14] Seal calculus. None of these languages are directly object-oriented, although there are strong parallels between them and OO languages, using codings of OO into the p-calculus such as =-=[2, 6, 8, 9, 10-=-]. In this paper, these two strands of research are brought together, to provide a model for distributed object-based languages. In doing so, two features of distributed programming become clear: the... |

96 | Seal: A framework for secure mobile computations
- Vitek, Castagna
- 1998
(Show Context)
Citation Context ...Gordon's [4] ambient calculus, Fournet et al.'s [3] distributed join calculus, Hennessy and Riely's [11, 12] Dp, Yoshida and Hennessy's [15] Dlp, Sewell's [13] distributed p, and Vitek and Castagna's =-=[14]-=- Seal calculus. None of these languages are directly object-oriented, although there are strong parallels between them and OO languages, using codings of OO into the p-calculus such as [2, 6, 8, 9, 10... |

91 |
A pi-calculus semantics for an object-based design notation
- Jones
- 1993
(Show Context)
Citation Context ...Castagna's [14] Seal calculus. None of these languages are directly object-oriented, although there are strong parallels between them and OO languages, using codings of OO into the p-calculus such as =-=[2, 6, 8, 9, 10-=-]. In this paper, these two strands of research are brought together, to provide a model for distributed object-based languages. In doing so, two features of distributed programming become clear: the... |

79 | A Concurrent Object Calculus: Reduction and Typing
- Gordon, Hankin
- 1998
(Show Context)
Citation Context ...es critical to the success of distributed programming. Abadi and Cardelli [1] have provided an excellent framework for the study of object-based OO languages in the object calculus. Gordon and Hankin =-=[5]-=- have shown how this work can be extended to deal with concurrent languages, but to date there is no work on a distributed semantics for the object calculus. There have been many semantics for distrib... |

77 | A typed language for distributed mobile processes
- Riely, Hennessy
- 1998
(Show Context)
Citation Context ...r the object calculus. There have been many semantics for distributed calculi, notably Cardelli and Gordon's [4] ambient calculus, Fournet et al.'s [3] distributed join calculus, Hennessy and Riely's =-=[11, 12]-=- Dp, Yoshida and Hennessy's [15] Dlp, Sewell's [13] distributed p, and Vitek and Castagna's [14] Seal calculus. None of these languages are directly object-oriented, although there are strong parallel... |

74 | Concurrent objects in a process calculus
- Pierce, Turner
- 1994
(Show Context)
Citation Context ...Castagna's [14] Seal calculus. None of these languages are directly object-oriented, although there are strong parallels between them and OO languages, using codings of OO into the p-calculus such as =-=[2, 6, 8, 9, 10-=-]. In this paper, these two strands of research are brought together, to provide a model for distributed object-based languages. In doing so, two features of distributed programming become clear: the... |

72 | Trust and partial typing in open systems of mobile agents
- Riely, Hennessy
- 1999
(Show Context)
Citation Context ...r the object calculus. There have been many semantics for distributed calculi, notably Cardelli and Gordon's [4] ambient calculus, Fournet et al.'s [3] distributed join calculus, Hennessy and Riely's =-=[11, 12]-=- Dp, Yoshida and Hennessy's [15] Dlp, Sewell's [13] distributed p, and Vitek and Castagna's [14] Seal calculus. None of these languages are directly object-oriented, although there are strong parallel... |

62 | Global/local subtyping and capability inference for a distributed - calculus
- Sewell
- 1998
(Show Context)
Citation Context ...or distributed calculi, notably Cardelli and Gordon's [4] ambient calculus, Fournet et al.'s [3] distributed join calculus, Hennessy and Riely's [11, 12] Dp, Yoshida and Hennessy's [15] Dlp, Sewell's =-=[13]-=- distributed p, and Vitek and Castagna's [14] Seal calculus. None of these languages are directly object-oriented, although there are strong parallels between them and OO languages, using codings of O... |

39 | Imperative Objects and Mobile Processes
- Kleist, Sangiorgi
- 1998
(Show Context)
Citation Context |

34 | Subtyping and locality in distributed higher order processes
- Yoshida, Hennessy
- 1999
(Show Context)
Citation Context ...en many semantics for distributed calculi, notably Cardelli and Gordon's [4] ambient calculus, Fournet et al.'s [3] distributed join calculus, Hennessy and Riely's [11, 12] Dp, Yoshida and Hennessy's =-=[15]-=- Dlp, Sewell's [13] distributed p, and Vitek and Castagna's [14] Seal calculus. None of these languages are directly object-oriented, although there are strong parallels between them and OO languages,... |

11 | Objects as mobile processes
- Huttel, Kleist
- 1996
(Show Context)
Citation Context |

2 |
The safetynet project. Available electronically from http://www.cogs.susx.ac.uk/projects/safetynet
- Jeffrey, Wakeman
- 1998
(Show Context)
Citation Context ...rusted sites. The run-time type system presented here is much simpler than theirs, but at the cost of requiring every distributed object to carry its type. This paper is part of the SafetyNet project =-=[7]-=- to design and implement a network programming language. Much of the material discussed here has been implemented in SafetyNet, which has a compiler to Java. I would like to thank Andy Gordon, Matthew... |