The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems-Reference-Cited by-同舟云学术

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

Published:2020-03-09 Issue:3 Volume:16 Page:e1007651
ISSN:1553-7358
Container-title:PLOS Computational Biology
language:en
Short-container-title:PLoS Comput Biol

Author:

Boemo Michael A.^ORCID,Cardelli Luca^ORCID,Nieduszynski Conrad A.^ORCID

Funder

Biotechnology and Biological Sciences Research Council

Wellcome Trust

Publisher

Public Library of Science (PLoS)

Subject

Computational Theory and Mathematics,Cellular and Molecular Neuroscience,Genetics,Molecular Biology,Ecology,Modelling and Simulation,Ecology, Evolution, Behavior and Systematics

Reference49 articles.

1. A Calculus of Communicating Systems

2. Compositional Markovian Modelling Using a Process Algebra

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantitative Programming and Continuous-Time Markov Chains;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11

2. A genome-wide map of DNA replication at single-molecule resolution in the malaria parasitePlasmodium falciparum;Nucleic Acids Research;2023-02-20

3. Quantitative Programming and Markov Decision Processes;2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09

4. Replication origin mapping in the malaria parasite Plasmodium falciparum;2022-07-27

5. A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach;Programming and Computer Software;2021-12