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 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
(51)- Towards bridging time and causal reversibility
- Reversible computation in nets with bonds
- Specifying reversibility with \(\mathrm{TLA}^+\)
- Simulating reversible computation with reaction systems
- Reversibility in the higher-order \(\pi\)-calculus
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- An axiomatic approach to reversible computation
- Reversibility in process calculi with nondeterminism and probabilities
- Towards a taxonomy for reversible computation approaches
- revTPL: The Reversible Temporal Process Language
- Towards modelling of local reversibility
- Rigid families for the reversible -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
- scientific article; zbMATH DE number 1950554 (Why is no real title available?)
- Noninterference analysis of reversible systems: an approach based on branching bisimilarity
- Modelling of DNA mismatch repair with a reversible process calculus
- scientific article; zbMATH DE number 7269252 (Why is no real title available?)
- Reversibility and asymmetric conflict in event structures
- Reversible computation vs. reversibility in Petri nets
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- Reversibility in Erlang: imperative constructs
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives
- Simulation of base excision repair in the calculus of covalent bonding
- 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)
- A collective interpretation semantics for reversing Petri nets
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- Event structure semantics of (controlled) reversible CCS
- Reversibility and Predictions
- scientific article; zbMATH DE number 7447775 (Why is no real title available?)
- Token multiplicity in reversing Petri nets under the individual token interpretation
- Reversible Imperative Parallel Programs and Debugging
- An axiomatic theory for reversible computation
- Tallulah, a tool to support the axiomatic approach to causal-consistent reversibility
- 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
- Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings
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)
