Electronic Notes in Theoretical Computer Science, Volume 170

Volume 170, March 2007

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