David Mahler mentioned:
> Greg Meredith’s paper "Knots as Processes": http://arxiv.org/abs/1009.2107
and his Biosimilarity blog http://biosimilarity.blogspot.com/
By the way, my student Mike Stay quit working for Google and is now working for Greg Meredith's company. He's going to use the pi calculus to help deal with big biological databases. (I don't know how, yet - he's been busy moving to a new town!)
I renamed our Pi calculus page: now it's
* [[Process calculus]]
which is more general. The old page name still works, thanks to the automatic redirect system.