Similar Items: revTPL: The Reversible Temporal Process Language
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- On the Metric Temporal Logic for Continuous Stochastic Processes
- Relating Reversible Petri Nets and Reversible Event Structures, categorically
- On Non-asymptotic Theory of Recurrent Neural Networks in Temporal Point Processes
- Reversing Place Transition Nets