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: "forward and backward bisimulations for chemical reaction networks"
  Abstract: We present two quantitative behavioral equivalences over species of a chemical reaction network (CRN) with semantics based on ordinary differential equations. Forward CRN bisimulation identifies a partition where each equivalence class represents the exact sum of the concentrations of the species belonging to that class. Backward CRN bisimulation relates species that have the identical solutions at all time points when starting from the same initial conditions. Both notions can be checked using only CRN syntactical information, i.e., by inspection of the set of reactions. We provide a unified algorithm that computes the coarsest refinement up to our bisimulations in polynomial time. Further, we give algorithms to compute quotient CRNs induced by a bisimulation. As an application, we find significant reductions in a number of models of biological processes from the literature. In two cases we allow the analysis of benchmark models which would be otherwise intractable due to their memory requirements.

Connected through hyperedge HE-1 (induced by source paper "combinatorial conversion and moment bisimulation for stochastic rewriting systems"):
  with members:
    - "rule algebras for adhesive categories"
    - "lumpability abstractions of rule based systems"

Connected through hyperedge HE-2 (induced by source paper "language based abstractions for dynamical systems"):
  with members:
    - "statistical model checking an overview"
    - "lumpability abstractions of rule based systems"
    - "approximate reasoning for real time probabilistic processes"

Connected through hyperedge HE-3 (induced by source paper "over approximation of fluid models"):
  with members:
    - "transient reward approximation for continuous time markov chains"

Connected through hyperedge HE-4 (induced by source paper "behavioural equivalences for fluid stochastic petri nets"):
  with members:
    - "bisimulations and logical characterizations on continuous time markov decision processes"

Connected through hyperedge HE-5 (induced by source paper "syntactic markovian bisimulation for chemical reaction networks"):
  with members:
    - "lumpability abstractions of rule based systems"

Connected through hyperedge HE-6 (induced by source paper "challenges in quantitative abstractions for collective adaptive systems"):
  with members:
    - "lumpability abstractions of rule based systems"

Connected through hyperedge HE-7 (induced by source paper "spatial fluid limits for stochastic mobile networks"):
  with members:
    - "fluid model checking"

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)