6 citations · 9 across the 2 of their papers we have counts for
Showing quant-phShow all
3 papers · 1 filter
quant-ph2005★ 6 cited
A probabilistic branching bisimulation for quantum processes
Marie Lalire
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…
quant-ph2004
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…
quant-ph2003★ 3 cited
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…