2026-07-25T12:24:14Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:14470 2024-03-06T10:54:05Z ddc:004 open_access

Geometry of Interaction for ZX-Diagrams Chardonnet, Kostia Valiron, Benoît Vilmart, Renaud Quantum Computation Linear Logic ZX-Calculus Geometry of Interaction 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Kostia Chardonnet and Benoît Valiron and Renaud Vilmart 2021 Is Part Of LIPIcs, Volume 202, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2021.30 urn:nbn:de:0030-drops-144701 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.30 eng https://creativecommons.org/licenses/by/4.0/legalcode