Similar Items: Reversing Place Transition Nets
- Relating Reversible Petri Nets and Reversible Event Structures, categorically
- Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Causal Consistency for Reversible Multiparty Protocols
- Vector Addition System Reversible Reachability Problem
- revTPL: The Reversible Temporal Process Language