Marie Lalire

According to our database, Marie Lalire authored at least 5 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Relations among quantum processes: bisimilarity and congruence.

Marie Lalire

Math. Struct. Comput. Sci., 2006

2005

A probabilistic branching bisimulation for quantum processes

Marie Lalire

CoRR, 2005

2004

A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics

Marie Lalire, Philippe Jorrand

CoRR, 2004

From Quantum Physics to Programming Languages: A Process Algebraic Approach.

Philippe Jorrand, Marie Lalire

Proceedings of the Unconventional Programming Paradigms, 2004

Toward a quantum process algebra.

Philippe Jorrand, Marie Lalire

Proceedings of the First Conference on Computing Frontiers, 2004