Background on process algebras / process calculi: what they can be useful for, and various domains where they have been applied. Specific applications to systems biology; and the wide range of process calculi proposed for different aspects of biological systems.
Brief introduction to PEPA and BioPEPA, with reference to Ciocchetta and Hillston (2009).
Link: Slides.