8 citations · 16 across the 5 of their papers we have counts for
8 papers
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…
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…
The Measurement Calculus
Vincent Danos, Elham Kashefi, Prakash Panangaden
We propose a calculus of local equations over one-way computing patterns, which preserves interpretations, and allows the rewriting of any pattern to a standard form where entangle…
The Computational Power of the W and GHZ states
Ellie D'Hondt, Prakash Panangaden
It is well understood that the use of quantum entanglement significantly enhances the computational power of systems. Much of the attention has focused on Bell states and their mul…
Spacetime topology from causality
Keye Martin, Prakash Panangaden
We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathem…
On the Expressive Power of First-Order Boolean Functions in PCF
Riccardo Pucella, Prakash Panangaden
Recent results of Bucciarelli show that the semilattice of degrees of parallelism of first-order boolean functions in PCF has both infinite chains and infinite antichains. By consi…