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

Michael A. BoemoLuca CardelliConrad A. Nieduszynski
Published in: PLoS Comput. Biol. (2020)