Boost logo

Boost :

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?


You can find tutorial and references of join-calculus at its website :
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:
>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.


Boost list run by bdawes at, gregod at, cpdaniel at, john at