Quantum State Transformations and Branching Distributed Temporal Logic
From MaRDI portal
Publication:2938127
DOI10.1007/978-3-662-44145-9_1zbMath1372.68190OpenAlexW2189603063MaRDI QIDQ2938127
Marco Volpe, Luca Viganò, Margherita Zorzi
Publication date: 13 January 2015
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_1
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)
Related Items (7)
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ On quantum lambda calculi: a foundational perspective ⋮ Unnamed Item ⋮ Unnamed Item ⋮ $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations ⋮ A logic for quantum register measurements ⋮ QPCF: higher-order languages and quantum circuits
This page was built for publication: Quantum State Transformations and Branching Distributed Temporal Logic
