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

Eike Best, Nataliya S. Gribovskaya, Irina Virbitskaite. Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. In Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria, editors, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Volume 10139 of Lecture Notes in Computer Science, pages 132-146, Springer, 2017. [doi]

Abstract

Abstract is missing.