moscova.inria.fr

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