human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "an axiomatization for quantum processes to unifying quantum and classical computing"
  Abstract: We establish an axiomatization for quantum processes, which is a quantum generalization of process algebra ACP (Algebra of Communicating Processes). We use the framework of a quantum process configuration $\langle p, \varrho\rangle$, but we treat it as two relative independent part: the structural part $p$ and the quantum part $\varrho$, because the establishment of a sound and complete theory is dependent on the structural properties of the structural part $p$. We let the quantum part $\varrho$ be the outcomes of execution of $p$ to examine and observe the function of the basic theory of quantum mechanics. We establish not only a strong bisimularity for quantum processes, but also a weak bisimularity to model the silent step and abstract internal computations in quantum processes. The relationship between quantum bisimularity and classical bisimularity is established, which makes an axiomatization of quantum processes possible. An axiomatization for quantum processes called qACP is designed, which involves not only quantum information, but also classical information and unifies quantum computing and classical computing. qACP can be used easily and widely for verification of most quantum communication protocols.

Connected through hyperedge HE-1 (induced by source paper "an extended quantum process algebra eqpalg approach for distributed quantum systems"):
  with members:
    - "a lambda calculus for quantum computation with classical control"
    - "toward an architecture for quantum programming"

Connected through hyperedge HE-2 (induced by source paper "probabilistic process algebra to unifying quantum and classical computing in closed systems"):
  with members:
    - "entanglement in quantum process algebra"
    - "open bisimulation for quantum processes"
    - "symbolic bisimulation for quantum processes"

Connected through hyperedge HE-3 (induced by source paper "an algebra of reversible quantum computing"):
  with members:
    - "an algebra of reversible computation"
    - "entanglement in quantum process algebra"
    - "a structural approach to reversible computation"

Connected through hyperedge HE-4 (induced by source paper "entanglement in quantum process algebra"):
  with members:
    - "open bisimulation for quantum processes"
    - "symbolic bisimulation for quantum processes"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)