Sciweavers

Share
220 search results - page 1 / 44
» The Join Calculus: A Language for Distributed Mobile Program...
Sort
View
AC
2000
Springer
8 years 11 months ago
The Join Calculus: A Language for Distributed Mobile Programming
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
Cédric Fournet, Georges Gonthier
IFIPTCS
2000
8 years 11 months ago
An Asynchronous, Distributed Implementation of Mobile Ambients
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
Cédric Fournet, Jean-Jacques Lévy, A...
IFIP
2004
Springer
9 years 24 days ago
Nested Commits for Mobile Calculi: Extending Join
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
AOSD
2010
ACM
9 years 2 months ago
A theory of distributed aspects
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
Nicolas Tabareau
ATAL
2006
Springer
8 years 11 months ago
A service-oriented language for programming mobile agents
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...
Hervé Paulino, Luís M. B. Lopes
books