The following pages link to Claudio Antares Mezzina (Q264994):
Displaying 29 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)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)
- A reversible perspective on Petri nets and event structures (Q6636620) (← links)
- Model checking reversible systems: forwardly (Q6637601) (← links)
