Re: [boost] Boost.Join - asynchronous concurrency library basedonCw and Join Calculus

From: Yigong Liu (yigongliu_at_[hidden])
Date: 2007-05-28 18:43:35

> Could join calculus compete with something like SDL? Is there a
> join-calculus-
> for-programmers reference?

Hello,

You can find tutorial and references of join-calculus at its website :
http://join.inria.fr/
I am not familiar with using Join in formal verification and model checking.
Maybe you can find more by talking to people behind join-calculus:
http://moscova.inria.fr/
>From my prior exposure to Promela/Spin in a telecom switch project, it seems
Spin has more tools for model extraction and verification (i guess it is
same with SDL). Promela/Spin is more CSP-like while Join is a variant of
async Pi calculus.

Regards,
yigong