Stargazer: understanding the π-calculus, visually

For those wondering about practical application, here&#x27;s two quick examples on use with distributed, problem solving and web applications. They&#x27;re both doing precise models with a focus on deadlock prevention.<p><a href="http:&#x2F;&#x2F;www2.cs.siu.edu&#x2F;~rahimi&#x2F;papers&#x2F;2.pdf" rel="nofollow">http:&#x2F;&#x2F;www2.cs.siu.edu&#x2F;~rahimi&#x2F;papers&#x2F;2.pdf</a><p><a href="http:&#x2F;&#x2F;www.sersc.org&#x2F;journals&#x2F;IJGDC&#x2F;vol8_no5&#x2F;13.pdf" rel="nofollow">http:&#x2F;&#x2F;www.sersc.org&#x2F;journals&#x2F;IJGDC&#x2F;vol8_no5&#x2F;13.pdf</a>

I love the pi calculus. It&#x27;s a good starting point for analyzing distributed systems in a rigorous way. If you&#x27;re interested in learning more about this kind of thing, check out the Kell calculus[0] and it&#x27;s related calculi<p>[0] <a href="http:&#x2F;&#x2F;www-verimag.imag.fr&#x2F;~bidinger&#x2F;publi&#x2F;fmoods2003.pdf" rel="nofollow">http:&#x2F;&#x2F;www-verimag.imag.fr&#x2F;~bidinger&#x2F;publi&#x2F;fmoods2003.pdf</a>

Also relevant: Pict [0], a π-calculus programming language.<p>[0]: <a href="http:&#x2F;&#x2F;www.cis.upenn.edu&#x2F;~bcpierce&#x2F;papers&#x2F;pict&#x2F;Html&#x2F;Pict.html" rel="nofollow">http:&#x2F;&#x2F;www.cis.upenn.edu&#x2F;~bcpierce&#x2F;papers&#x2F;pict&#x2F;Html&#x2F;Pict.htm...</a>

For those of us who have never heard of pi calculus, can someone give a beginners description (wikipedia article just confused me even more)

&quot;pi-calculus&quot; would be a better term to use in the title, since the glyph used for pi looks like &quot;n&quot;

Anyone here knows a good self contained description?

There is also the Join calculus in case anyone is interested.<p>[0]: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Join-calculus" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Join-calculus</a>

This is awesome! Does it do anything like fdr or can it be plugged in to play traces demonstrating live&#x2F;deadlock?