Branching bisimulation semantics for quantum processes

Article Properties
Cite
Wu, Hao, et al. “Branching Bisimulation Semantics for Quantum Processes”. Information Processing Letters, vol. 186, p. 106492, https://doi.org/10.1016/j.ipl.2024.106492.
Wu, H., Yang, Q., & Long, H. (n.d.). Branching bisimulation semantics for quantum processes. Information Processing Letters, 186, 106492. https://doi.org/10.1016/j.ipl.2024.106492
Wu H, Yang Q, Long H. Branching bisimulation semantics for quantum processes. Information Processing Letters. 186:106492.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Science (General)
Cybernetics
Information theory
Technology
Electrical engineering
Electronics
Nuclear engineering
Telecommunication
Technology
Technology (General)
Industrial engineering
Management engineering
Information technology
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
An algebra of quantum processes

 ACM Transactions on Computational Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 28 2009
Probabilistic bisimulations for quantum processes Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 20 2007
Relations among quantum processes: bisimilarity and congruence 2006
Branching bisimilarity is an equivalence indeed! Information Processing Letters
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 30 1996
Branching time and abstraction in bisimulation semantics

 Journal of the ACM
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 204 1996