Techniques for Formal Modelling and Analysis of Quantum Systems

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]

Authors

Simon J. Gay

This author has not been identified. Look up 'Simon J. Gay' in Google

Rajagopal Nagarajan

This author has not been identified. Look up 'Rajagopal Nagarajan' in Google