From the “publishing old drafts for kicks” department, some interesting notes on Biological Simulation Languages: SPim Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus http://lambda-the-ultimate.org/node/2447 The little b language: shared models built from reusable parts http://lambda-the-ultimate.org/node/2671 BioComputing resources from Luca Cardelli http://lucacardelli.name/BioComputing.htm