25 citations · 31 across the 6 of their papers we have counts for
4 papers · 1 filter
Toward a Quantum Process Algebra
Philippe Jorrand, Marie Lalire
Quantum computations operate in the quantum world. For their results to be useful in any way, there is an intrinsic necessity of cooperation and communication controlled by the cla…
Dynamic Quantum Logic for Quantum Programs
Olivier Brunet, Philippe Jorrand
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transform…
Non-Probabilistic Termination of Measurement-based Quantum Computation
Philippe Jorrand, Simon Perdrix
Nielsen [quant-ph/0108020] introduced a model of quantum computation by measurement-based simulation of unitary computations. In this model, a consequence of the non-determinism of…
Let us play with qubits
Sylvain Gravier, Philippe Jorrand, Mehdi Mhalla +1
Quantum game theory offers a lot of interesting questions, and it is relevant to use the quantum information theory to resolve or improve games with lack of information : how to us…