Toward a quantum process algebra. - Philippe Jorrand; Marie Lalire (Conf. Computing Frontiers, 2004)

From Quantum Physics to Programming Languages: A Process Algebraic Approach. - Philippe Jorrand; Marie Lalire (UPP, 2004)

A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics - Marie Lalire; Philippe Jorrand (CoRR, 2004)

A probabilistic branching bisimulation for quantum processes - Marie Lalire (CoRR, 2005)

Relations among quantum processes: bisimilarity and congruence. - Marie Lalire (Math. Struct. Comput. Sci., 2006)