Open Maps Bisimulations for Higher Dimensional Automata Models

Elena S. Oshevskaya. Open Maps Bisimulations for Higher Dimensional Automata Models. In Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala, editors, Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings. Volume 5699 of Lecture Notes in Computer Science, pages 274-286, Springer, 2009. [doi]

Abstract

Abstract is missing.