共 50 条
- [24] Event Structures for the Reversible Early Internal π-Calculus REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 : 71 - 90
- [25] Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 132 - 146
- [28] Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 33 - 48
- [29] A distributed operational view of Reversible Prime Event Structures 2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,