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: "globally governed session semantics"
  Abstract: This paper proposes a bisimulation theory based on multiparty session types#N#where a choreography specification governs the behaviour of session typed#N#processes and their observer. The bisimulation is defined with the observer#N#cooperating with the observed process in order to form complete global session#N#scenarios and usable for proving correctness of optimisations for globally#N#coordinating threads and processes. The induced bisimulation is strictly more#N#fine-grained than the standard session bisimulation. The difference between the#N#governed and standard bisimulations only appears when more than two interleaved#N#multiparty sessions exist. This distinct feature enables to reason real#N#scenarios in the large-scale distributed system where multiple choreographic#N#sessions need to be interleaved. The compositionality of the governed#N#bisimilarity is proved through the soundness and completeness with respect to#N#the governed reduction-based congruence. Finally, its usage is demonstrated by#N#a thread transformation governed under multiple sessions in a real usecase in#N#the large-scale cyberinfrustracture.

Connected through hyperedge HE-1 (induced by source paper "service equivalence via multiparty session type isomorphisms"):
  with members:
    - "dynamic choreographies theory and implementation"
    - "mutually testing processes"
    - "session type isomorphisms"
    - "multiparty compatibility in communicating automata characterisation and synthesis of global session types"

Connected through hyperedge HE-2 (induced by source paper "a core model for choreographic programming"):
  with members:
    - "applied choreographies"
    - "procedural choreographic programming"
    - "dynamic choreographies theory and implementation"
    - "the paths to choreography extraction"
    - "that s enough asynchrony with standard choreography primitives"
    - "on asynchrony and choreographies"
    - "choreographies divided and conquered"
    - "choreographies in practice"

Connected through hyperedge HE-3 (induced by source paper "reversing single sessions"):
  with members:
    - "a concurrent pattern calculus"
    - "compliance for reversible client server interactions"

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)