The following pages link to Claudio Antares Mezzina (Q264994):
Displayed 27 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- On reversibility and broadcast (Q1796367) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Reversible occurrence nets and causal reversible prime event structures (Q2039888) (← links)
- Towards a formal account for software transactional memory (Q2039909) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- The reversible temporal process language (Q2165209) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Controlling Reversibility in Higher-Order Pi (Q3090837) (← links)
- Static VS Dynamic Reversibility in CCS (Q3186583) (← links)
- (Q3384917) (← links)
- Controlled Reversibility and Compensations (Q3453755) (← links)
- Global Protocol Implementations via Attribute-Based Communication (Q3460871) (← links)
- Reversing Higher-Order Pi (Q3584950) (← links)
- (Q4967172) (← links)
- (Q5028420) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5129948) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- Concurrent Flexible Reversibility (Q5326296) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Testing for coordination fidelity (Q6199105) (← links)
- A Truly Concurrent Semantics for Reversible CCS (Q6452486) (← links)