Speciality:
01.01.04 (Geometry and topology)
E-mail: Keywords: 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
