human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "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.

Includes members:
  Member "parameterised multiparty session types":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "a session type system for asynchronous unreliable broadcast communication")
  Member "compiling and securing cryptographic protocols":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "data minimisation in communication protocols a formal analysis framework and application to identity management")

Question: Please tell me which class the source paper 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)