8 citations · 16 across the 5 of their papers we have counts for
Showing 2005Show all
2 papers · 1 filter
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
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…