08 Information and Computing Sciences

DSpace/Manakin Repository

  • >

08 Information and Computing Sciences

Recent Submissions

  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...
  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...
  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...
  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...
  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...