Home > Research > Publications & Outputs > Rosen's (M,R) system in process algebra

Research

Associated organisational unit

Electronic data

  • 1752-0509-7-128

    Rights statement: © 2013 Gatherer and Galpin; licensee BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

    Final published version, 1.73 MB, PDF document

    Available under license: CC BY

Links

Text available via DOI:

Keywords

View graph of relations

Rosen's (M,R) system in process algebra

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

Rosen's (M,R) system in process algebra. / Gatherer, Derek; Galpin, Vashti.
In: BMC Systems Biology, Vol. 7, No. 1, 128, 17.11.2013.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Gatherer, D & Galpin, V 2013, 'Rosen's (M,R) system in process algebra', BMC Systems Biology, vol. 7, no. 1, 128. https://doi.org/10.1186/1752-0509-7-128

APA

Gatherer, D., & Galpin, V. (2013). Rosen's (M,R) system in process algebra. BMC Systems Biology, 7(1), Article 128. https://doi.org/10.1186/1752-0509-7-128

Vancouver

Gatherer D, Galpin V. Rosen's (M,R) system in process algebra. BMC Systems Biology. 2013 Nov 17;7(1):128. doi: 10.1186/1752-0509-7-128

Author

Gatherer, Derek ; Galpin, Vashti. / Rosen's (M,R) system in process algebra. In: BMC Systems Biology. 2013 ; Vol. 7, No. 1.

Bibtex

@article{c57022615cc344828193a871cdcb9df5,
title = "Rosen's (M,R) system in process algebra",
abstract = "Robert Rosen's Metabolism-Replacement, or (M,R), system can be represented as a compact network structure with a single source and three products derived from that source in three consecutive reactions. (M,R) has been claimed to be non-reducible to its components and algorithmically non-computable, in the sense of not being evaluable as a function by a Turing machine. If (M,R)-like structures are present in real biological networks, this suggests that many biological networks will be non-computable, with implications for those branches of systems biology that rely on in silico modelling for predictive purposes.",
keywords = "Robert Rosen, (M,R) , Metabolism-replacement , Metabolism-repair , Relational biology , Process algebra , Bio-PEPA , Computability , Turing machine",
author = "Derek Gatherer and Vashti Galpin",
note = "{\textcopyright} 2013 Gatherer and Galpin; licensee BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.",
year = "2013",
month = nov,
day = "17",
doi = "10.1186/1752-0509-7-128",
language = "English",
volume = "7",
journal = "BMC Systems Biology",
issn = "1752-0509",
publisher = "BioMed Central",
number = "1",

}

RIS

TY - JOUR

T1 - Rosen's (M,R) system in process algebra

AU - Gatherer, Derek

AU - Galpin, Vashti

N1 - © 2013 Gatherer and Galpin; licensee BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PY - 2013/11/17

Y1 - 2013/11/17

N2 - Robert Rosen's Metabolism-Replacement, or (M,R), system can be represented as a compact network structure with a single source and three products derived from that source in three consecutive reactions. (M,R) has been claimed to be non-reducible to its components and algorithmically non-computable, in the sense of not being evaluable as a function by a Turing machine. If (M,R)-like structures are present in real biological networks, this suggests that many biological networks will be non-computable, with implications for those branches of systems biology that rely on in silico modelling for predictive purposes.

AB - Robert Rosen's Metabolism-Replacement, or (M,R), system can be represented as a compact network structure with a single source and three products derived from that source in three consecutive reactions. (M,R) has been claimed to be non-reducible to its components and algorithmically non-computable, in the sense of not being evaluable as a function by a Turing machine. If (M,R)-like structures are present in real biological networks, this suggests that many biological networks will be non-computable, with implications for those branches of systems biology that rely on in silico modelling for predictive purposes.

KW - Robert Rosen

KW - (M,R)

KW - Metabolism-replacement

KW - Metabolism-repair

KW - Relational biology

KW - Process algebra

KW - Bio-PEPA

KW - Computability

KW - Turing machine

U2 - 10.1186/1752-0509-7-128

DO - 10.1186/1752-0509-7-128

M3 - Journal article

C2 - 24237684

VL - 7

JO - BMC Systems Biology

JF - BMC Systems Biology

SN - 1752-0509

IS - 1

M1 - 128

ER -