Similar Items: Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Causal Consistency for Reversible Multiparty Protocols
- revTPL: The Reversible Temporal Process Language
- Relating Reversible Petri Nets and Reversible Event Structures, categorically
- Reversing Place Transition Nets
- Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
- A Truly Concurrent Semantics for Reversible CCS