moscova.inria.fr

      Explicit
Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads.

URLs from moscova.inria.fr: