Higher-order quantum processes respecting closed labs in classical spacetime are exactly those realizable as quantum circuits with quantum control of causal order.
Sur l'extension de l'ordre partiel
3 Pith papers cite this work. Polarity classification is still indexing.
citation-role summary
citation-polarity summary
years
2026 3verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
CV-rules equivalently characterize serializability via explicit orders satisfying C-rule and V-rule, used to verify five protocols including SSN and Aria with Lean mechanization of most results.
The authors characterize a new Borda-type social ranking solution (SRS) that satisfies weak consistency, closeness to unanimity under linear symmetric domains, neutrality, and independence of perfunctory participation.
citing papers explorer
-
Higher-order quantum processes respecting closed labs in a spacetime have quantum controlled causal order
Higher-order quantum processes respecting closed labs in classical spacetime are exactly those realizable as quantum circuits with quantum control of causal order.
-
CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering
CV-rules equivalently characterize serializability via explicit orders satisfying C-rule and V-rule, used to verify five protocols including SSN and Aria with Lean mechanization of most results.
-
Consistency, unanimity, and the Borda rule in social ranking
The authors characterize a new Borda-type social ranking solution (SRS) that satisfies weak consistency, closeness to unanimity under linear symmetric domains, neutrality, and independence of perfunctory participation.