The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems

• Michael A. Boemo ,

  Roles Conceptualization, Formal analysis, Investigation, Methodology, Project administration, Software, Validation, Visualization, Writing – original draft, Writing – review & editing

  * E-mail: mb915@cam.ac.uk

  Affiliation Department of Pathology, University of Cambridge, Cambridge, United Kingdom

  http://orcid.org/0000-0002-0326-8200

  ⨯
• Luca Cardelli,

  Roles Formal analysis, Methodology, Writing – review & editing

  Affiliation Department of Computer Science, University of Oxford, Oxford, United Kingdom

  http://orcid.org/0000-0002-8705-8488

  ⨯
• Conrad A. Nieduszynski

  Roles Funding acquisition, Methodology, Resources, Writing – review & editing

  Affiliation Genome Damage and Stability Centre, University of Sussex, Brighton, United Kingdom

  http://orcid.org/0000-0003-2001-076X

  ⨯