1 citations · 1 across the 3 of their papers we have counts for
3 papers
quant-ph2005
Reasoning about quantum knowledge
Ellie D'Hondt, Prakash Panangaden
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed earlier, w…
quant-ph2005★ 1 cited
Distributed measurement-based quantum computation
Vincent Danos, Ellie D'Hondt, Elham Kashefi +1
We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because…
quant-ph2005
Quantum Weakest Preconditions
Ellie D'Hondt, Prakash Panangaden
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between t…