Buchumschlag

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ding, Sichen, Li, Zhiwu
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Quantum Physics 68Q45, 68Q85, 81P45 F.3.1; F.1.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Monitoring Hyperproperties over Observed and Constructed Traces
von: Chalupa, Marek, et al.
Veröffentlicht: (2025)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2026)

The Algebra of Nondeterministic Finite Automata
von: Gorrieri, Roberto
Veröffentlicht: (2023)

Decidable Reversible Equivalences for Finite Petri Nets
von: Gorrieri, Roberto, et al.
Veröffentlicht: (2025)

Bishop's (up)crossing inequality and lower semicomputable random reals revisited
von: Andreev, Mikhail, et al.
Veröffentlicht: (2025)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Commutative N-polyregular functions
von: Lopez, Aliaume
Veröffentlicht: (2024)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2024)

Learning Closed Signal Flow Graphs
von: Piotrovskaya, Ekaterina, et al.
Veröffentlicht: (2024)

Relational Connectors and Heterogeneous Bisimulations
von: Nora, Pedro, et al.
Veröffentlicht: (2024)

Conformance Games for Graded Semantics
von: Forster, Jonas, et al.
Veröffentlicht: (2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)

On Woolhouse's Cotton-Spinning Problem
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

Axiomatizing NFAs Generated by Regular Grammars
von: Gorrieri, Roberto
Veröffentlicht: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Place Bisimilarity is Decidable, Indeed!
von: Gorrieri, Roberto
Veröffentlicht: (2021)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
von: Wild, Paul, et al.
Veröffentlicht: (2025)

Simulating and model checking membrane systems using strategies in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Formal Foundations for Controlled Stochastic Activity Networks
von: Movaghar, Ali
Veröffentlicht: (2025)

Classically Time-Controlled Quantum Automata: Definition and Properties
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

Principal Types as Partial Involutions
von: Honsell, Furio, et al.
Veröffentlicht: (2024)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
von: Salvadori, Daniel Augusto Rizzi
Veröffentlicht: (2025)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
von: Li, Zihao, et al.
Veröffentlicht: (2026)

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
von: Cho, Da-Jung, et al.
Veröffentlicht: (2025)

An Expressive Trace Logic for Recursive Programs
von: Gurov, Dilian, et al.
Veröffentlicht: (2024)

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
Veröffentlicht: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

A "Symbolic" Representation of Object-Nets (Extended Version)
von: Köhler-Bussmeier, Michael, et al.
Veröffentlicht: (2024)

Strategies, model checking and branching-time properties in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Model checking strategy-controlled systems in rewriting logic
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Metalevel transformation of strategies
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Analysis of multivariate symbol statistics in primitive rational models
von: Goldwurm, Massimiliano, et al.
Veröffentlicht: (2026)

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Quantum Phase Transition of Non-Hermitian Systems using Variational Quantum Techniques
von: Hancock, James, et al.
Veröffentlicht: (2025)

Compositionality in Coalgebraic Trace Semantics
von: Jourde, Robin, et al.
Veröffentlicht: (2026)

Deterministic Suffix-reading Automata
von: Keerthan, R, et al.
Veröffentlicht: (2025)

Conditional normality and finite-state dimensions revisited
von: Shen, Alexander
Veröffentlicht: (2024)

List of Results on the Černý Conjecture and Reset Thresholds for Synchronizing Automata
von: Volkov, Mikhail V.
Veröffentlicht: (2025)

Weighing Obese Timed Languages
von: Asarin, Eugene, et al.
Veröffentlicht: (2025)