| 2006 | ||
|---|---|---|
| 5 | EE | Marie Lalire: Relations among quantum processes: bisimilarity and congruence. Mathematical Structures in Computer Science 16(3): 407-428 (2006) |
| 2005 | ||
| 4 | EE | Marie Lalire: A probabilistic branching bisimulation for quantum processes CoRR abs/quant-ph/0508116: (2005) |
| 2004 | ||
| 3 | EE | Philippe Jorrand, Marie Lalire: Toward a quantum process algebra. Conf. Computing Frontiers 2004: 111-119 |
| 2 | EE | Philippe Jorrand, Marie Lalire: From Quantum Physics to Programming Languages: A Process Algebraic Approach. UPP 2004: 1-16 |
| 1 | EE | Marie Lalire, Philippe Jorrand: A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics CoRR quant-ph/0407005: (2004) |
| 1 | Philippe Jorrand | [1] [2] [3] |