The following pages link to Reversing Higher-Order Pi (Q3584950):
Displaying 35 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)
- Mutual exclusion and reversibility in reaction systems (Q1982970) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Reversible sessions with flexible choices (Q2329306) (← 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)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- Controlling Reversibility in Higher-Order Pi (Q3090837) (← links)
- Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- A Verification Technique for Reversible Process Algebra (Q3453753) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- Controlled Reversibility and Compensations (Q3453755) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- (Q5015360) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5089270) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- Reversibility and Predictions (Q5162608) (← links)
- cJoin: Join with communicating transactions (Q5740633) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
