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: "multiparty session actors"
  Abstract: Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailboxes. The framework uses Scribble, which is a protocol description language based on multiparty session types. Our programming model supports actor-like syntax and runtime verification mechanism guaranteeing communication safety of the participating entities. An actor can implement multiple roles in a similar way as an object can implement multiple interfaces. Multiple roles allow for cooperative inter-concurrency in a single actor. We demonstrate our framework by designing and implementing a session actor library in Python and its runtime verification mechanism. Benchmark results demonstrate that the runtime checks induce negligible overhead. We evaluate the applicability of our verification framework to specify actor interactions by implementing twelve examples from an actor benchmark suit.

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"
    - "timed runtime monitoring for multiparty conversations"
    - "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 "gradual session types"):
  with members:
    - "gradual parametricity revisited"
    - "gradual liquid type inference"
    - "depending on session typed processes"
    - "fast and precise type checking for javascript"
    - "sums of uncertainty refinements go gradual"
    - "design and implementation of concurrent c0"
    - "do be do be do"
    - "an erlang implementation of multiparty session actors"

Connected through hyperedge HE-3 (induced by source paper "applied choreographies"):
  with members:
    - "dynamic choreographies safe runtime updates of distributed applications"
    - "aiocj a choreographic framework for safe adaptive distributed applications"
    - "multiparty compatibility in communicating automata characterisation and synthesis of global session types"

Connected through hyperedge HE-4 (induced by source paper "linearly typed dyadic group sessions for building multiparty sessions"):
  with members:
    - "session types in a linearly typed multi threaded lambda calculus"
    - "a graphical approach to progress for structured communication in web services"

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

Connected through hyperedge HE-6 (induced by source paper "behavioural types for non uniform memory accesses"):
  with members:
    - "behavioural types for actor systems"

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)