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