Pages that link to "Item:Q2643334"
From MaRDI portal
The following pages link to Reversing algebraic process calculi (Q2643334):
Displaying 50 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Reversible client/server interactions (Q315298) (← links)
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Reversible pushdown automata (Q1757838) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Reversible computation in nature inspired rule-based systems (Q1982978) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Towards causal-consistent reversibility of imperative concurrent programs (Q2097433) (← 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)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- One-way reversible multi-head finite automata (Q2358688) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- A hierarchy of reverse bisimulations on stable configuration structures (Q2883121) (← links)
- Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Static VS Dynamic Reversibility in CCS (Q3186583) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- (Q3384916) (← links)
- (Q3384917) (← links)
- One-Way Reversible Multi-head Finite Automata (Q3453731) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- (Q5014800) (← links)
- (Q5015360) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5089270) (← links)
- (Q5089300) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- (Q5129948) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Reversible Imperative Parallel Programs and Debugging (Q5237216) (← links)
- Imaginary groups: lazy monoids and reversible computation (Q5400854) (← links)
- Event Identifier Logic (Q5740354) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
