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: "reachability of communicating timed processes"
  Abstract: We study the reachability problem for communicating timed processes, both in discrete and dense time. Our model comprises automata with local timing constraints communicating over unbounded FIFO channels. Each automaton can only access its set of local clocks; all clocks evolve at the same rate. Our main contribution is a complete characterization of decidable and undecidable communication topologies, for both discrete and dense time. We also obtain complexity results, by showing that communicating timed processes are at least as hard as Petri nets; in the discrete time, we also show equivalence with Petri nets. Our results follow from mutual topology-preserving reductions between timed automata and (untimed) counter automata.

Connected through hyperedge HE-1 (induced by source paper "timed basic parallel processes"):
  with members:
    - "effective definability of the reachability relation in timed automata"
    - "decidability of timed communicating automata"
    - "universal safety for timed petri nets is pspace complete"
    - "reachability in two clock timed automata is pspace complete"
    - "a faster algorithm for solving one clock priced timed games"
    - "reachability analysis of communicating pushdown systems"
    - "reachability time games on timed automata"
    - "alternating timed automata"

Connected through hyperedge HE-2 (induced by source paper "on reachability for unidirectional channel systems extended with regular tests"):
  with members:
    - "complexity hierarchies beyond elementary"
    - "generalized post embedding problems"
    - "the parametric ordinal recursive complexity of post embedding problems"
    - "graph logics with rational relations"
    - "the power of well structured systems"
    - "reachability analysis of communicating pushdown systems"
    - "cutting through regular post embedding problems"
    - "multiply recursive upper bounds with higman s lemma"

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)