1 paper
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…