TY - RPRT TI - Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures AU - Nataliya Gribovskaya AU - Irina Virbitskaite PY - 2023 DO - 10.4204/eptcs.386.10 UR - https://arxiv.org/abs/2309.02756 ID - 2309.02756 ER -