How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
- Publication date
- 1 January 2020
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 31st International Conference on Concurrency Theory (CONCUR 2020)