For those wondering about practical application, here's two quick examples on use with distributed, problem solving and web applications. They're both doing precise models with a focus on deadlock prevention.<p><a href="http://www2.cs.siu.edu/~rahimi/papers/2.pdf" rel="nofollow">http://www2.cs.siu.edu/~rahimi/papers/2.pdf</a><p><a href="http://www.sersc.org/journals/IJGDC/vol8_no5/13.pdf" rel="nofollow">http://www.sersc.org/journals/IJGDC/vol8_no5/13.pdf</a>
I love the pi calculus. It's a good starting point for analyzing distributed systems in a rigorous way. If you're interested in learning more about this kind of thing, check out the Kell calculus[0] and it's related calculi<p>[0] <a href="http://www-verimag.imag.fr/~bidinger/publi/fmoods2003.pdf" rel="nofollow">http://www-verimag.imag.fr/~bidinger/publi/fmoods2003.pdf</a>
There is also the Join calculus in case anyone is interested.<p>[0]: <a href="https://en.wikipedia.org/wiki/Join-calculus" rel="nofollow">https://en.wikipedia.org/wiki/Join-calculus</a>