Gribovskaya N., Virbitskaite I. Transition Systems from Casual Reversible Prime Event Structures // # 24, 2024
