Marie Lalire

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

5EEMarie Lalire: Relations among quantum processes: bisimilarity and congruence. Mathematical Structures in Computer Science 16(3): 407-428 (2006)
4EEMarie Lalire: A probabilistic branching bisimulation for quantum processes CoRR abs/quant-ph/0508116: (2005)
3EEPhilippe Jorrand, Marie Lalire: Toward a quantum process algebra. Conf. Computing Frontiers 2004: 111-119
2EEPhilippe Jorrand, Marie Lalire: From Quantum Physics to Programming Languages: A Process Algebraic Approach. UPP 2004: 1-16
1EEMarie Lalire, Philippe Jorrand: A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics CoRR quant-ph/0407005: (2004)

Coauthor Index

1Philippe Jorrand [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)