Closed

DSpace/Manakin Repository

Closed

 

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 ...