GUBS, a Behaviour-Based Language for Design in Synthetic Biology, pages 1-38

Authors: A. Basso-Blandin, F. Delaplace

RNA-Editing with Combined Insertion and Deletion Preserves Regularity, pages 39-73

Authors: E.P. de Vink, H. Zantema, D. Bošnački

Modular Verification of Qualitative Pathway Models with Fairness, pages 75-117

Authors: P. Drábik, A. Maggiolo-Schettini , P. Milazzo , G. Pardini

Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models, pages 119-167

Authors: A. Philippou, M. Toro, M. Antonaki