Nature Scientific Reports publish a paper that uses PRISM to study cell cycle switch as a computing device

Nature Scientific Reports publish a paper that uses PRISM to study cell cycle switch as a computing device, see www.nature.com/srep/2012/120913/srep00656/full/srep00656.html

The paper, co-authored by Luca Cardelli of Microsoft Research Cambridge, asks the question "what does the cell cycle switch compute, and how does it compute it?" It then finds that a fundamental algorithm from distributed computing matches its behaviour, which is confirmed by analyses using deterministic, stochastic simulation and probabilistic verification methods. For the latter, PRISM (see www.prismmodelchecker.org), a probabilistic model checker being developed at the Universities of Oxford and Birmingham, is used.

Both the cell-cycle switch and the algorithm were previously known: the switch was the subject of a Nobel prize, and the algorithm has been studied independently for its particular efficiency.