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