Ambient Calculus in JoCaml

The latest distribution (v 0.7): ambients-0.7.tar.gz

Documentation (submitted paper):

A Distributed Implementation of Ambients (extended abstract in PostScript ),
A Distributed Implementation of Ambients (long version in PostScript )