Simon J. Gay, Rajagopal Nagarajan. Techniques for Formal Modelling and Analysis of Quantum Systems. In Bob Coecke, Luke Ong, Prakash Panangaden, editors, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Volume 7860 of Lecture Notes in Computer Science, pages 264-276, Springer, 2013. [doi]
Abstract is missing.