Journal article icon

Journal article

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

Abstract:

Biological systems are made up of components that change their actions (and interactions) over time and coordinate with other components nearby. Together with a large state space, the complexity of this behaviour can make it difficult to create concise mathematical models that can be easily extended or modified. This paper introduces the Beacon Calculus, a process algebra designed to simplify the task of modelling interacting biological components. Its breadth is demonstrated by creating mode...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1371/journal.pcbi.1007651

Authors


More by this author
Role:
Author
ORCID:
0000-0002-0326-8200
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
St Anne's College
Role:
Author
ORCID:
0000-0002-8705-8488
More by this author
Role:
Author
ORCID:
0000-0003-2001-076X
Wellcome Trust More from this funder
Publisher:
Public Library of Science Publisher's website
Journal:
PLoS Computational Biology Journal website
Volume:
16
Issue:
3
Article number:
e1007651
Place of publication:
United States
Publication date:
2020-03-09
Acceptance date:
2020-01-10
DOI:
EISSN:
1553-7358
ISSN:
1553-734X
Pmid:
32150540
Language:
English
Keywords:
Pubs id:
1093247
Local pid:
pubs:1093247
Deposit date:
2021-05-11

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP