Grygoriy Zholtkevych, Hassan Khalil El Zein, Lyudmila Polyakova. Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks. In Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Vyacheslav Kharchenko, Vitaliy Kobets, Hennadiy Kravtsov, Vladimir S. Peschanenko, Yaroslav Prytula, Mykola Nikitchenko, Aleksander Spivakovsky, editors, Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14-17, 2018. Volume 2104 of CEUR Workshop Proceedings, pages 696-706, CEUR-WS.org, 2018. [doi]
Abstract is missing.