A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway

We introduce a reversible process calculus with a new feature of execution control that allows us to change the direction and pattern of computation. This feature allows us to model a variety of modes of reverse computation, ranging from strict backtracking to reversing which respects causal ordering of events, and even reversing which violates causal ordering. The SOS rules that define the operators of the new calculus employ communication keys to handle communication correctly and key identifiers to control execution.

[1]  Stephen Gilmore,et al.  Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA , 2006, Trans. Comp. Sys. Biology.

[2]  Vincent Danos,et al.  Formal Molecular Biology done in CCS , 2003 .

[3]  Irek Ulidowski,et al.  Semantics and expressiveness of ordered SOS , 2009, Inf. Comput..

[4]  Ivan Lanese,et al.  Controlling Reversibility in Higher-Order Pi , 2011, CONCUR.

[5]  Jin Yang,et al.  Graph Theory for Rule-Based Modeling of Biochemical Networks , 2006, Trans. Comp. Sys. Biology.

[6]  Vincent Danos,et al.  Rule-Based Modelling of Cellular Signalling , 2007, CONCUR.

[7]  Iain C. C. Phillips,et al.  Reversing algebraic process calculi , 2006, J. Log. Algebraic Methods Program..

[8]  Robin Milner,et al.  Theories for the Global Ubiquitous Computer , 2004, FoSSaCS.

[9]  Vincent Danos,et al.  Formal Molecular Biology Done in CCS-R , 2007, Electron. Notes Theor. Comput. Sci..

[10]  Irek Ulidowski,et al.  Ordered SOS process languages for branching and Eager bisimulation , 2002 .

[11]  Parosh Aziz Abdulla,et al.  Advanced Ramsey-Based Büchi Automata Inclusion Testing , 2011, CONCUR.

[12]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[13]  Ian Stark,et al.  The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.

[14]  Irek Ulidowski,et al.  A Logic with Reverse Modalities for History-preserving Bisimulations , 2011, EXPRESS.

[15]  Cosimo Laneve,et al.  Reversible structures , 2011, CMSB.

[16]  Kwang-Hyun Cho,et al.  Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway , 2003, CMSB.

[17]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[18]  Irek Ulidowski,et al.  A hierarchy of reverse bisimulations on stable configuration structures , 2012, Mathematical Structures in Computer Science.

[19]  Ivan Lanese,et al.  Controlled Reversibility and Compensations , 2012, RC.

[20]  Vincent Danos,et al.  Transactions in RCCS , 2005, CONCUR.

[21]  Paul Gastin,et al.  CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings , 2010, CONCUR.

[22]  Eva Balsa-Canto,et al.  Investigating dynamics of inhibitory and feedback loops in ERK signalling using power-law models. , 2010, Molecular bioSystems.

[23]  Vincent Danos,et al.  Reversible Communicating Systems , 2004, CONCUR.

[24]  Ivan Lanese,et al.  Reversing Higher-Order Pi , 2010, CONCUR.

[25]  Kim G. Larsen,et al.  On Modal Refinement and Consistency , 2007, CONCUR.