Nataliya S. Gribovskaya

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Transition Systems

Practical Reasoning

Top Venues

Ershov Memorial Conference

Publications

Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. SOFSEM (2017)
Nataliya S. Gribovskaya
Timed History Preserving Bisimulation and Open Maps. Ershov Memorial Conference (2014)