Automated equivalence checking of concurrent quantum systems

Article English OPEN
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal;
(2018)
  • Publisher: Association for Computing Machinery (ACM)
  • Subject:
    acm: ComputerSystemsOrganization_MISCELLANEOUS

The novel field of quantum computation and quantum information has gathered significant momentum in the last few years. It has the potential to radically impact the future of information technology and in influence the development of modern society. The construction of ... View more
Share - Bookmark