A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway

DOI10.1007/978-3-642-36315-3_18zbMath1451.68124OpenAlexW1464356876MaRDI QIDQ3453754

Shoji Yuen, Iain Phillips, Irek Ulidowski

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

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cell biology (92C37)

Related Items (37)

Reversibility in the higher-order \(\pi\)-calculus ⋮ Reversibility in session-based concurrency: a fresh look ⋮ Towards Bridging Time and Causal Reversibility ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ Rigid Families for the Reversible $$\pi $$ -Calculus ⋮ A Calculus for Local Reversibility ⋮ Static VS Dynamic Reversibility in CCS ⋮ Reversible Computation vs. Reversibility in Petri Nets ⋮ The reversible temporal process language ⋮ Reversible computation in nets with bonds ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Reversibility and asymmetric conflict in event structures ⋮ Towards a categorical representation of reversible event structures ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ Towards a taxonomy for reversible computation approaches ⋮ revTPL: The Reversible Temporal Process Language ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ An axiomatic approach to reversible computation ⋮ Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Unnamed Item ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mutual exclusion and reversibility in reaction systems ⋮ Simulating reversible computation with reaction systems ⋮ Causal-consistent rollback in a tuple-based language ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Reversibility and Predictions ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Towards Modelling of Local Reversibility ⋮ Unnamed Item ⋮ Reversible Imperative Parallel Programs and Debugging ⋮ Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications ⋮ A Petri net view of covalent bonds ⋮ Reversibility in Erlang: imperative constructs

Uses Software

• PEPA

Cites Work

• Semantics and expressiveness of ordered SOS
• The chemical abstract machine
• Ordered SOS process languages for branching and eager bisimulations
• Reversing algebraic process calculi
• A hierarchy of reverse bisimulations on stable configuration structures
• Controlling Reversibility in Higher-Order Pi
• Rule-Based Modelling of Cellular Signalling
• Reversing Higher-Order Pi

This page was built for publication: A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway