共 50 条
[23]
Event Structures for the Reversible Early Internal π-Calculus
[J].
REVERSIBLE COMPUTATION (RC 2020),
2020, 12227
:71-90
[27]
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict
[J].
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
[J].
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY,
2015, 9115
:33-48