Precubical sets,
Higher Dimensional Automata,
open maps,
coalgebra,
bisimulation.
UDC:
515.145, 519.681.2
Subject:
Category Theory, Directed Algebraic Topology, Concurrency Theory
Main publications:
E. Oshevskaya, “Open Maps Bisimulations for Higher Dimensional Automata Models”, Proceedings of 17th International Symposium “Fundamentals of Computation Theory” (Wroclaw, Poland, September 2009), Lecture Notes in Computer Science, 5699, Springer, 2009, 274–286
E. Oshevskaya, I. Virbitskaite, E. Best, “Unifying Equivalences for Higher Dimensional Automata”, Fundamenta Informaticae, 119:3-4 (2012), 357–372
E. C. Oshevskaya, “Sravnenie ekvivalentnostei na polukubicheskikh mnozhestvakh i prostranstvakh”, Matematicheskie trudy, 16:1 (2013), 150–188
E. S. Oshevskaya, “Comparing equivalences on precubical sets and spaces”, Mat. Tr., 16:1 (2013), 150–188; Siberian Adv. Math., 24:1 (2014), 47–74
2011
2.
E. S. Oshevskaya, “Equivalence of Categories of Precubical Sets and Transitional Chu-Spaces, Preserving the Property of Morphisms to be Open”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:3 (2011), 123–145; J. Math. Sci., 195:6 (2013), 832–850