ZX-Calculus is a versatile graphical language for quantum computation equipped with an equational theory. Getting inspiration from Geometry of Interaction, in this paper we propose a token-machine-based asynchronous model of both pure ZX-Calculus and its extension to mixed processes. We also show how to connect this new semantics to the usual standard interpretation of ZX-diagrams. This model allows us to have a new look at what ZX-diagrams compute, and give a more local, operational view of the semantics of ZX-diagrams.

翻译：ZX- Calculus 是一种多功能图形语言, 用于量子计算, 配有方程理论。 从互动的几何学中获取灵感, 在本文中, 我们提议一个纯ZX- Calculus 及其扩展至混合过程的象征性机械非同步模型。 我们还展示了如何将这一新语义与通常的 ZX- diagrams 标准解释联系起来。 这个模型允许我们重新审视 ZX- diagrams 的公式, 并对 ZX- diagrams 的语义进行更本地化的操作查看 。