Anzeige
Erschienen in:
2019 | OriginalPaper | Buchkapitel
Category Methods for Modelling Logical Time Based on the Concept of Clocks
verfasst von : Grygoriy Zholtkevych, Lyudmyla Polyakova, Hassan Khalil El Zein
Erschienen in: Information and Communication Technologies in Education, Research, and Industrial Applications
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
This paper continues a series of articles presenting authors’ ideas and results relating to development of category-theoretic methods for specifying and analysing models of logical time in distributed systems including cyber-physical systems. Results of this paper generalise results of the previous articles by the way of generalising the concepts of a clock structure and a schedule. The paper shows that all the main results obtained earlier remain valid for the generalisation under consideration. In addition, the proposed generalisation gives a tool for identifying in category-theoretic terms the concepts of global clocks and synchronisation processes.