Stargazer: understanding the π-calculus, visually

Y	Hacker News new \| ask \| show \| jobs

	Stargazer: understanding the π-calculus, visually (emanueledosualdo.com)
	91 points by 14113 3151 days ago

8 comments

nickpsecurity 3151 days ago

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.

http://www2.cs.siu.edu/~rahimi/papers/2.pdf

http://www.sersc.org/journals/IJGDC/vol8_no5/13.pdf

link

peterlk 3151 days ago

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

[0] http://www-verimag.imag.fr/~bidinger/publi/fmoods2003.pdf

link

hdhzy 3151 days ago

Also relevant: Pict [0], a π-calculus programming language.

[0]: http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.htm...

link

k2xl 3151 days ago

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

link

wz1000 3151 days ago

The pi-calculus is a mathematical formalization of concurrent programs in the same way that lambda calculus is a formalization of computable functions. It is basically a notation that allows you to easily specify concurrent programs, and then rigorously reason about them.

link

abstrakraft 3151 days ago

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

link

14113 3151 days ago

I just followed the guidelines when submitting - i.e:

> Otherwise please use the original title, unless it is misleading or linkbait.

It's regrettable that π looks similar to n, however I think it's a very minor issue that is resolved the second that you click the link.

link

adrianratnapala 3150 days ago

Only if you use terrible fonts.

link