2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 2 cited
Understanding Safety Constraints Coalgebraically
Grygoriy Zholtkevych, Maksym Labzhaniia
Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifyin…
cs.CC2012
Towards the Notion of an Abstract Quantum Automaton
Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
The main goal of this paper is to give a rigorous mathematical description of systems for processing quantum information. To do it authors consider abstract state machines as model…