28 May
2007
28 May
'07
10:43 p.m.
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