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: "timed runtime monitoring for multiparty conversations"
  Abstract: We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial partners. Drawing from recent work on multiparty session types for real-time interactions, we extend Scribble with clocks, resets, and clock predicates constraining the times in which interactions should occur. We present a timed API for Python to program distributed implementations of Scribble specifications. A dynamic verification framework ensures the safe execution of applications written with our timed API: we have implemented dedicated runtime monitors that check that each interaction occurs at a correct timing with respect to the corresponding Scribble specification. The performance of our implementation and its practicability are analysed via benchmarking.

Connected through hyperedge HE-1 (induced by source paper "verifying asynchronous interactions via communicating session automata"):
  with members:
    - "on the completeness of verifying message passing programs under bounded asynchrony"
    - "synchronizability of communicating finite state machines is not decidable"
    - "multiparty compatibility for concurrent objects"
    - "multiparty session actors"
    - "multiparty compatibility in communicating automata characterisation and synthesis of global session types"
    - "propositional dynamic logic for message passing systems"

Connected through hyperedge HE-2 (induced by source paper "an operational guide to monitorability"):
  with members:
    - "adventures in monitorability from branching to linear time and back again"
    - "on runtime enforcement via suppressions"
    - "tessla temporal stream based specification language"
    - "determinizing monitors for hml with recursion"

Connected through hyperedge HE-3 (induced by source paper "implementing choreography extraction"):
  with members:
    - "the paths to choreography extraction"

Connected through hyperedge HE-4 (induced by source paper "parallel complexity analysis with temporal session types"):
  with members:
    - "work analysis with resource aware session types"
    - "non blocking concurrent imperative programming with session types"
    - "the complexity of interaction"
    - "towards automatic resource bound analysis for ocaml"
    - "denotational cost semantics for functional languages with inductive types"
    - "linear dependent types and relative completeness"

Connected through hyperedge HE-5 (induced by source paper "on urgency in asynchronous timed session types"):
  with members:
    - "timed session types"

Connected through hyperedge HE-6 (induced by source paper "timed session types"):
  with members:
    - "combining behavioural types with security analysis"
    - "multiparty compatibility in communicating automata characterisation and synthesis of global session types"
    - "honesty by typing"

Connected through hyperedge HE-7 (induced by source paper "an erlang implementation of multiparty session actors"):
  with members:
    - "multiparty session actors"
    - "behavioural types for actor systems"

Connected through hyperedge HE-8 (induced by source paper "a theory of available by design communicating systems"):
  with members:
    - "parameterised multiparty session types"

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.DC(Distributed, Parallel, and Cluster Computing)