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.
Bennett and Gilles Bras- sard
7 Pith papers cite this work. Polarity classification is still indexing.
citation-role summary
citation-polarity summary
verdicts
UNVERDICTED 7representative citing papers
Rigorous security proofs for variable-length QKD, phase-error bounding with imperfect detectors, marginal-constrained entropy accumulation, and authentication reductions place practical QKD on firmer mathematical ground.
A TFLN photonic chip achieves gigahertz-rate active manipulation of time-bin quantum states, enabling loophole-free entanglement certification and continuous QKD operation at 25 kbit/s.
Presents complex versions of Fisher information matrices and Cramér-Rao bounds for quantum estimation depending on complex parameters.
Arqon delivers reliable quantum network service via admission control and scheduling that satisfies defined reliability requirements for accepted demands in static topologies, with O(k^3) and O(N^3) complexity.
GHz-rate time-bin entangled photons were distributed over 30 km of metropolitan fiber with 93% visibility using standard components.
Presents a hierarchy of private delegated quantum computation protocols separating state privacy, transcript ambiguity, and output privacy under stated leakage and collusion assumptions.
citing papers explorer
-
Gigahertz-rate thin-film lithium niobate receiver for time-bin quantum communication
A TFLN photonic chip achieves gigahertz-rate active manipulation of time-bin quantum states, enabling loophole-free entanglement certification and continuous QKD operation at 25 kbit/s.