External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Bisimulation for quantum processes

Yuan Feng, Runyao Duan, Mingsheng Ying. Bisimulation for quantum processes. In Thomas Ball, Mooly Sagiv, editors, Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. pages 523-534, ACM, 2011. [doi]

Authors

Yuan Feng

This author has not been identified. Look up 'Yuan Feng' in Google

Runyao Duan

This author has not been identified. Look up 'Runyao Duan' in Google

Mingsheng Ying

This author has not been identified. Look up 'Mingsheng Ying' in Google
runs on