A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- 1 January 2013
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Reversible structuresPublished by Association for Computing Machinery (ACM) ,2011
- Controlling Reversibility in Higher-Order PiLecture Notes in Computer Science, 2011
- Formal Molecular Biology Done in CCS-RElectronic Notes in Theoretical Computer Science, 2007
- Rule-Based Modelling of Cellular SignallingLecture Notes in Computer Science, 2007
- Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPALecture Notes in Computer Science, 2006
- Graph Theory for Rule-Based Modeling of Biochemical NetworksLecture Notes in Computer Science, 2006
- Transactions in RCCSLecture Notes in Computer Science, 2005
- Reversible Communicating SystemsLecture Notes in Computer Science, 2004
- Mathematical Modeling of the Influence of RKIP on the ERK Signaling PathwayLecture Notes in Computer Science, 2003
- The chemical abstract machineTheoretical Computer Science, 1992