Marie Lalire
- Toward a Quantum Process Algebra
2003/12/08 by Philippe Jorrand, Jorrand, Philippe, Marie Lalire +1 · 1 citation
Computer Science · Physics and Astronomy · #Computability, Logic, AI Algorithms #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #quant-ph
- A probabilistic branching bisimulation for quantum processes
2005/08/16 by Marie Lalire, Lalire, Marie · 1 citation
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #cs.PL #quant-ph