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: "on global types and multi party session"
  Abstract: Global types are formal specifications that describe communication protocols#N#in terms of their global interactions. We present a new, streamlined language#N#of global types equipped with a trace-based semantics and whose features and#N#restrictions are semantically justified. The multi-party sessions obtained#N#projecting our global types enjoy a liveness property in addition to the#N#traditional progress and are shown to be sound and complete with respect to the#N#set of traces of the originating global type. Our notion of completeness is#N#less demanding than the classical ones, allowing a multi-party session to leave#N#out redundant traces from an underspecified global type. In addition to the#N#technical content, we discuss some limitations of our language of global types#N#and provide an extensive comparison with related specification languages#N#adopted in different communities.

Connected through hyperedge HE-1 (induced by source paper "a session type system for asynchronous unreliable broadcast communication"):
  with members:
    - "session types for broadcasting"
    - "parameterised multiparty session types"

Connected through hyperedge HE-2 (induced by source paper "on resolving non determinism in choreographies"):
  with members:
    - "an abstract semantics of the global view of choreographies"

Connected through hyperedge HE-3 (induced by source paper "dynamic choreographies theory and implementation"):
  with members:
    - "kickstarting choreographic programming"
    - "dynamic choreographies safe runtime updates of distributed applications"
    - "aiocj a choreographic framework for safe adaptive distributed applications"
    - "hop and hiphop multitier web orchestration"

Connected through hyperedge HE-4 (induced by source paper "an abstract semantics of the global view of choreographies"):
  with members:
    - "dynamic choreographies safe runtime updates of distributed applications"

Connected through hyperedge HE-5 (induced by source paper "lightening global types"):
  with members:
    - "information flow safety in multiparty sessions"
    - "dynamic role authorization in multiparty conversations"
    - "a typeful characterization of multiparty structured conversations based on binary sessions"
    - "merging multiparty protocols in multiparty choreographies"

Connected through hyperedge HE-6 (induced by source paper "a typeful characterization of multiparty structured conversations based on binary sessions"):
  with members:
    - "multiparty compatibility in communicating automata characterisation and synthesis of global session types"
    - "parameterised multiparty session types"

Connected through hyperedge HE-7 (induced by source paper "dynamic choreographies safe runtime updates of distributed applications"):
  with members:
    - "aiocj a choreographic framework for safe adaptive distributed applications"

Connected through hyperedge HE-8 (induced by source paper "deadlock freedom by construction for distributed adaptive applications"):
  with members:
    - "aiocj a choreographic framework for safe adaptive distributed applications"

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.PL(Programming Languages)