| 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) |
