Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;E Ardeshir-Larijani,2013
2. Coecke, B., Kissinger, A.: Picturing Quantum Processes. Cambridge University Press, Cambridge (2017)
3. Davidson, T.A.S.: Formal verification techniques using quantum process calculus. PhD thesis, University of Warwick, Coventry, UK (2012)
4. Lecture Notes in Computer Science;Y Deng,2012
5. Feng, Y., Deng, Y., Ying, M.: Symbolic bisimulation for quantum processes. ACM Trans. Comput. Logic 15(2), 14:1–14:32 (2014)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probabilistic mediator: A coalgebraic perspective;Journal of Logical and Algebraic Methods in Programming;2022-11
2. A Unifying Coalgebraic Semantics Framework for Quantum Systems;International Journal of Software Engineering and Knowledge Engineering;2021-03