25 citations · 31 across the 6 of their papers we have counts for
8 papers · 1 filter
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Marie Lalire, Philippe Jorrand
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commun…
Measurement-Based Quantum Turing Machines and their Universality
Simon Perdrix, Philippe Jorrand
Quantum measurement is universal for quantum computation. This universality allows alternative schemes to the traditional three-step organisation of quantum computation: initial st…
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…