Cover Image

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ceragioli, Lorenzo, Gadducci, Fabio, Lomurno, Giuseppe, Tedeschi, Gabriele
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science 68Q85 (Primary) 81P68 (Secondary) D.3.1; F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2026)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
by: Ding, Sichen, et al.
Published: (2026)

Conformance Games for Graded Semantics
by: Forster, Jonas, et al.
Published: (2024)

Compositionality in Coalgebraic Trace Semantics
by: Jourde, Robin, et al.
Published: (2026)

Efficient Classical Simulation of Low-Rank-Width Quantum Circuits Using ZX-Calculus
by: Kuyanov, Fedor, et al.
Published: (2026)

Quantum Agents
by: Sultanow, Eldar, et al.
Published: (2025)

Bounds on the realizations of zero-nonzero patterns and sign conditions of polynomials restricted to varieties and applications
by: Basu, Saugata, et al.
Published: (2024)

Braids, twists, trace and duality in combinatory algebras
by: Hasegawa, Masahito, et al.
Published: (2024)

A mathematical model for a universal digital quantum computer with an application to the Grover-Rudolph algorithm
by: Falcó, Antonio, et al.
Published: (2025)

Place Bisimilarity is Decidable, Indeed!
by: Gorrieri, Roberto
Published: (2021)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

Quantum Computing in Logistics and Supply Chain Management an Overview
by: Phillipson, Frank
Published: (2024)

Quantum Algorithms for the Minimum Steiner Tree problem with application to Binary Near-Perfect Phylogenies
by: Meng, Lingfa, et al.
Published: (2025)

Lindbladian Homotopy Analysis Method to Solve Nonlinear Partial Differential Equations
by: Choi, Eunsik, et al.
Published: (2026)

Deterministic Quantum Search via Recursive Oracle Expansion
by: Burke, John, et al.
Published: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
by: Chalupa, Marek, et al.
Published: (2025)

An Expressive Trace Logic for Recursive Programs
by: Gurov, Dilian, et al.
Published: (2024)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024)

Hybrid quantum tensor networks for aeroelastic applications
by: Hickmann, M. Lautaro, et al.
Published: (2025)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
by: Morse, Gregory, et al.
Published: (2026)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
by: Li, Zihao, et al.
Published: (2026)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

Reversible computations are computations
by: Aubert, Clément, et al.
Published: (2025)

Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

Quantum Vision Transformers for Quark-Gluon Classification
by: Cara, Marçal Comajoan, et al.
Published: (2024)

Sample completion, structured correlation, and Netflix problems
by: Coregliano, Leonardo N., et al.
Published: (2025)

The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

Quantum Search without Global Diffusion
by: Burke, John, et al.
Published: (2026)

Pre-Asymptotic Trainability in Photonic Variational Circuits under Postselection
by: Xie, Yichen, et al.
Published: (2026)

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

Superior monogamy and polygamy relations and estimates of concurrence
by: Cao, Yue, et al.
Published: (2025)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

Principal Types as Partial Involutions
by: Honsell, Furio, et al.
Published: (2024)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
by: Kattermann, David, et al.
Published: (2025)

Distributed Exact Quantum Amplitude Amplification Algorithm for Arbitrary Quantum States
by: Zhou, Xu, et al.
Published: (2026)

Tighter bounds for generalized monogamy and polygamy relations
by: Cao, Yue, et al.
Published: (2024)