> 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.

I am afraid that I cannot answer your question. I mean I cannot,
as in << I can't swim >>.



> 
> Ciao,
>    Oliver

-- Luc