Marie Lalire

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Marie Lalire
Relations among quantum processes: bisimilarity and congruence. Math. Struct. Comput. Sci. 16 (3) (2006)
Marie Lalire
A probabilistic branching bisimulation for quantum processes CoRR (2005)
Philippe Jorrand, Marie Lalire
Toward a quantum process algebra. Conf. Computing Frontiers (2004)
Philippe Jorrand, Marie Lalire
From Quantum Physics to Programming Languages: A Process Algebraic Approach. UPP (2004)
Marie Lalire, Philippe Jorrand
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics CoRR (2004)