Electronic Notes in Theoretical Computer Science, Volume 170

Volume 170, March 2007

• Peter Selinger:
  Preface. 1
  Electronic Edition (link) BibTeX
• Pedro Adão, Paulo Mateus:
  A Process Algebra for Reasoning About Quantum Security. 3-21
  Electronic Edition (link) BibTeX
• Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry:
  An Algebra of Pure Quantum Programming. 23-47
  Electronic Edition (link) BibTeX
• Bob Coecke:
  De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure. 49-72
  Electronic Edition (link) BibTeX
• Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden:
  Distributed Measurement-based Quantum Computation. 73-94
  Electronic Edition (link) BibTeX
• Vincent Danos, Elham Kashefi:
  Pauli Measurements are Universal. 95-100
  Electronic Edition (link) BibTeX
• Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams:
  Simulating and Compiling Code for the Sequential Quantum Random Access Machine. 101-124
  Electronic Edition (link) BibTeX
• Simon Perdrix:
  Quantum Patterns and Types for Entanglement and Separability. 125-138
  Electronic Edition (link) BibTeX
• Peter Selinger:
  Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract). 139-163
  Electronic Edition (link) BibTeX
• Dominique Unruh:
  Quantum Programs With Classical Output Streams: (Extended Abstract). 165-184
  Electronic Edition (link) BibTeX
• Paolo Zuliani:
  Quantum Programming With Mixed States. 185-199
  Electronic Edition (link) BibTeX