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
• The little b language: shared models built from reusable parts
• BioComputing resources from Luca Cardelli