TY - RPRT TI - The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems AU - Boemo, M. A. AU - Cardelli, L. AU - Nieduszynski, C. A. PY - 2019 DO - 10.1101/579029 UR - https://www.biorxiv.org/content/10.1101/579029v1 ID - 10.1101/579029 ER -