Download:
|
by Alan Schmitt, Inria Rocquencourt
http://join.inria.fr/ambabs.ps.gz
Add To MetaCart
Abstract:
Extended abstract submitted to TCS'2000
Citations
|
666
|
Mobile ambients
– Cardelli, Gordon
- 1998
|
|
277
|
A calculus of mobile agents
– Fournet, Gonthier, et al.
- 1996
|
|
183
|
The reflexive chemical abstract machine and the joincalculus
– Fournet, Gonthier
- 1996
|
|
172
|
A calculus of mobile processes (parts
– Milner, Parrow, et al.
- 1992
|
|
147
|
Types for mobile ambients
– Cardelli, Gordon
- 1999
|
|
125
|
Controlling Interference in Ambients
– Levi, Sangiorgi
- 2000
|
|
86
|
Decoding choice encodings
– Nestmann, Pierce
- 1996
|
|
54
|
Equational Properties of Mobile Ambients
– Gordon, Cardelli
- 2003
|
|
51
|
The Join-Calculus: a Calculus for Distributed Mobile Programming
– Fournet
- 1998
|
|
12
|
Mobile Ambient Synchronization
– Cardelli
- 1997
|
|
9
|
The JoCAML system prototype. Software and documentation available from http://pauillac.inria.fr/jocaml
– Fessant
- 1998
|
|
5
|
Multiway synchronization veri with coupled simulation
– Parrow, Sjodin
- 1992
|
|
4
|
Asynchrony and the -calculus (note
– Boudol
- 1992
|
|
4
|
Confluence by decreasing diagrams
– Oostrom
- 1994
|
|
3
|
Available from http://www.luca.demon.co.uk/Ambit /Ambit.html
– Ambit
- 1997
|
|
3
|
A distributed implementation of Ambients. Long version of this paper, available from http://join.inria.fr/ambients.html
– Fournet, Levy, et al.
- 1999
|
|
2
|
An implementation of Ambients in JoCAML. Software available from http://join.inria.fr/ambients.html
– Fournet, Schmitt
- 1999
|
