From: Yigong Liu (yigongliu_at_[hidden])
Date: 2007-05-28 18:43:35
> Could join calculus compete with something like SDL? Is there a
> 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 acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk