[peterlk]

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