On Mon, Jun 04, 2007 at 10:38:54PM +1000, skaller wrote:
> On Mon, 2007-06-04 at 08:13 -0400, Yaron Minsky wrote:
> > A couple of questions:
> >       * Why is it that JoCaml is a full OCaml distribution as opposed
> >         to just a set of libraries plus a syntax extension. 
> 
> JoCaml implements the join calculus, which subsumes lambda
> calculus.. so you have asked the wrong question.
[...]

Is the join calcuclus a monocontextural calculus (as I assume)?

How can the join calculus (and distributed processes) be expressed
using Gotthard Guenthers polycontextural logic?

Is there any research on this topic?

As far as I know only polycontextural logic can express
parallel, distributed systems (and selfreference) in a complete/total way.
So, when join calculus is monocontextural (which it is, if it uses
the math we all have learned) it will be a subsystem
of what can be expressed with polycontextural logic.

It would be fine to have some explanations here, on what
the join calculus is capable of.


Ciao,
   Oliver