lqCCS provides scheduled semantics for quantum processes using physically admissible schedulers, yielding a bisimilarity that is adequate for indistinguishable quantum mixtures and a congruence for parallel composition.
By linearity of π π and by definition of lc, π΅[Ξ] π π Γ πβπΌ ππ β’Ξβ² π =Ξ β² where |Ξβ² | must be less than one andΞ β² lc(R)Ξ β²
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Verification of Quantum Protocols Adopting Physically Admissible Schedulers
lqCCS provides scheduled semantics for quantum processes using physically admissible schedulers, yielding a bisimilarity that is adequate for indistinguishable quantum mixtures and a congruence for parallel composition.