Prakash Panangaden

Latest

• Quantum Alternation: Prospects and Problems
• Extended Measurement Calculus
• The Measurement Calculus
• Quantum Weakest Preconditions