Pages that link to "Item:Q3453754"
From MaRDI portal
The following pages link to A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754):
Displaying 35 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Mutual exclusion and reversibility in reaction systems (Q1982970) (← links)
- Simulating reversible computation with reaction systems (Q1982972) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- The reversible temporal process language (Q2165209) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Static VS Dynamic Reversibility in CCS (Q3186583) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- (Q3384916) (← links)
- (Q5014800) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5089300) (← links)
- (Q5129948) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Reversibility and Predictions (Q5162608) (← links)
- Reversible Imperative Parallel Programs and Debugging (Q5237216) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
