Add links to implementations

[haadcode]

In our research we came across a few projects that have implemented ambient calculus in one way or the other.

We should collect the names and links to any implementation of ambient calculus.

[haadcode]

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 translation of Ambients into the distributed join calculus, the process calculus associated with Jocaml. We prove the correctness of the translation.