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

Gatherer, Derek and Galpin, Vashti (2013) Rosen's (M,R) system in process algebra. BMC Systems Biology, 7 (1): 128. ISSN 1752-0509

[thumbnail of 1752-0509-7-128]
PDF (1752-0509-7-128)
1752_0509_7_128.pdf - Published Version
Available under License Creative Commons Attribution.

Download (1MB)


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.

Item Type:
Journal Article
Journal or Publication Title:
BMC Systems Biology
Additional Information:
© 2013 Gatherer and Galpin; licensee BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Uncontrolled Keywords:
?? robert rosen(m,r) metabolism-replacement metabolism-repair relational biology process algebra bio-pepa computability turing machinestructural biologymodelling and simulationmolecular biologyapplied mathematics ??
ID Code:
Deposited By:
Deposited On:
20 Nov 2013 09:31
Last Modified:
31 Dec 2023 00:29