Closed

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Discover

RSS Feeds

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