Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.

Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite

Browse the full SOFSEM paper archive.