A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
DOI10.1007/978-3-642-36315-3_18zbMATH Open1451.68124OpenAlexW1464356876MaRDI QIDQ3453754FDOQ3453754
Authors: Iain Phillips, Irek Ulidowski, Shoji Yuen 
Publication date: 30 November 2015
Published in: Reversible Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-36315-3_18
Recommendations
- Approximations and their consequences for dynamic modelling of signal transduction pathways
- Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
- scientific article; zbMATH DE number 1950554
- A mathematical approach to the study of signal transduction pathways in MAPK cascade
- Probabilistic model checking of the PDGF signaling pathway
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Cell biology (92C37) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Reversing algebraic process calculi
- Controlling Reversibility in Higher-Order Pi
- Reversing Higher-Order Pi
- The chemical abstract machine
- A hierarchy of reverse bisimulations on stable configuration structures
- Rule-Based Modelling of Cellular Signalling
- Semantics and expressiveness of ordered SOS
- Ordered SOS process languages for branching and eager bisimulations
Cited In (46)
- Reversible computation in nets with bonds
- Specifying reversibility with \(\mathrm{TLA}^+\)
- Simulating reversible computation with reaction systems
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Reversibility in the higher-order \(\pi\)-calculus
- An axiomatic approach to reversible computation
- Towards a taxonomy for reversible computation approaches
- revTPL: The Reversible Temporal Process Language
- Towards modelling of local reversibility
- Rigid families for the reversible \(\pi \)-calculus
- A calculus for local reversibility
- Mutual exclusion and reversibility in reaction systems
- Static versus dynamic reversibility in CCS
- Towards a categorical representation of reversible event structures
- Reversibility in session-based concurrency: a fresh look
- Reversing imperative parallel programs
- Static VS Dynamic Reversibility in CCS
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modelling of DNA mismatch repair with a reversible process calculus
- Reversible computation vs. reversibility in Petri nets
- Reversibility and asymmetric conflict in event structures
- Title not available (Why is that?)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives
- Reversibility in Erlang: imperative constructs
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
- A reversible perspective on Petri nets and event structures
- Model checking reversible systems: forwardly
- Reversibility with holes (work in progress)
- Simulation of base excision repair in the calculus of covalent bonding
- Event structure semantics of (controlled) reversible CCS
- A collective interpretation semantics for reversing Petri nets
- Reversibility and Predictions
- Token multiplicity in reversing Petri nets under the individual token interpretation
- Title not available (Why is that?)
- An axiomatic theory for reversible computation
- Reversible Imperative Parallel Programs and Debugging
- Forward-reverse observational equivalences in CCSK
- A Petri net view of covalent bonds
- The reversible temporal process language
- Branching bisimulation semantics enables noninterference analysis of reversible systems
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Causal-consistent rollback in a tuple-based language
- Causal reversibility implies time reversibility
- Towards bridging time and causal reversibility
Uses Software
This page was built for publication: A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3453754)
