A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
From MaRDI portal
Publication:3453754
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
Cites work
- A hierarchy of reverse bisimulations on stable configuration structures
- Controlling Reversibility in Higher-Order Pi
- Ordered SOS process languages for branching and eager bisimulations
- Reversing Higher-Order Pi
- Reversing algebraic process calculi
- Rule-Based Modelling of Cellular Signalling
- Semantics and expressiveness of ordered SOS
- The chemical abstract machine
Cited in
(46)- Towards a taxonomy for reversible computation approaches
- Reversible computation in nets with bonds
- Reversing imperative parallel programs
- revTPL: The Reversible Temporal Process Language
- The reversible temporal process language
- A collective interpretation semantics for reversing Petri nets
- Reversibility and asymmetric conflict in event structures
- Specifying reversibility with \(\mathrm{TLA}^+\)
- Token multiplicity in reversing Petri nets under the individual token interpretation
- Reversibility and Predictions
- Rigid families for the reversible \(\pi \)-calculus
- A calculus for local reversibility
- An axiomatic theory for reversible computation
- Causal reversibility implies time reversibility
- Reversibility in Erlang: imperative constructs
- Reversible Imperative Parallel Programs and Debugging
- Towards a categorical representation of reversible event structures
- Forward-reverse observational equivalences in CCSK
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
- Simulating reversible computation with reaction systems
- A Petri net view of covalent bonds
- Mutual exclusion and reversibility in reaction systems
- Static VS Dynamic Reversibility in CCS
- Static versus dynamic reversibility in CCS
- scientific article; zbMATH DE number 7269252 (Why is no real title available?)
- Towards modelling of local reversibility
- Branching bisimulation semantics enables noninterference analysis of reversible systems
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Towards bridging time and causal reversibility
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- scientific article; zbMATH DE number 7447775 (Why is no real title available?)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives
- A reversible perspective on Petri nets and event structures
- Model checking reversible systems: forwardly
- Reversibility with holes (work in progress)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Reversibility in session-based concurrency: a fresh look
- Reversible computation vs. reversibility in Petri nets
- Simulation of base excision repair in the calculus of covalent bonding
- Causal-consistent rollback in a tuple-based language
- An axiomatic approach to reversible computation
- scientific article; zbMATH DE number 1950554 (Why is no real title available?)
- Reversibility in the higher-order \(\pi\)-calculus
- Modelling of DNA mismatch repair with a reversible process calculus
- Event structure semantics of (controlled) reversible CCS
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
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)
