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: "mutually testing processes"
  Abstract: In the standard testing theory of DeNicola-Hennessy one process is considered#N#to be a refinement of another if every test guaranteed by the former is also#N#guaranteed by the latter. In the domain of web services this has been recast,#N#with processes viewed as servers and tests as clients. In this way the standard#N#refinement preorder between servers is determined by their ability to satisfy#N#clients. But in this setting there is also a natural refinement preorder#N#between clients, determined by their ability to be satisfied by servers. In#N#more general settings where there is no distinction between clients and#N#servers, but all processes are peers, there is a further refinement preorder#N#based on the mutual satisfaction of peers. We give a uniform account of these#N#three preorders. In particular we give two characterisations. The first is#N#behavioural, in terms of traces and ready sets. The second, for finite#N#processes, is equational.

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

Connected through hyperedge HE-2 (induced by source paper "reliability and fault tolerance by choreographic design"):
  with members:
    - "choreographies for automatic recovery"
    - "an abstract semantics of the global view of choreographies"
    - "distributed system contract monitoring"

Connected through hyperedge HE-3 (induced by source paper "orchestrated session compliance"):
  with members:
    - "a note on two notions of compliance"
    - "from orchestration to choreography through contract automata"
    - "loosening the notions of compliance and sub behaviour in client server systems"

Connected through hyperedge HE-4 (induced by source paper "choreographies and behavioural contracts on the way to dynamic updates"):
  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.LO(Logic in Computer Science)