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 "a probabilistic calculus of cyber physical systems"):
  Abstract: We propose a hybrid probabilistic process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a probabilistic labelled transition system in the SOS style of Plotkin. This is used to define a bisimulation-based probabilistic behavioural semantics which supports compositional reasonings. For a more careful comparison between CPSs, we provide two compositional probabilistic metrics to formalise the notion of behavioural distance between systems, also in the case of bounded computations. Finally, we provide a non-trivial case study, taken from an engineering application, and use it to illustrate our definitions and our compositional behavioural theory for CPSs.

Includes members:
  Member "state of the art of cyber physical systems security an automatic control perspective":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "actuator security indices based on perfect undetectability computation robustness and sensor placement")
  Member "a formal approach to cyber physical attacks":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "state of the art of cyber physical systems security an automatic control perspective")
  Member "a calculus of cyber physical systems":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "hybrid rebeca modeling and analyzing of cyber physical systems")
  Member "compositional bisimulation metric reasoning with probabilistic process calculi":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "quantitative behavioural reasoning for higher order effectful programs applicative distances extended version")
  Member "modelling mac layer communications in wireless systems":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "equational reasonings in wireless network gossip protocols")
  Member "revisiting trace and testing equivalences for nondeterministic and probabilistic processes":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "size based termination of higher order rewriting")

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.LO(Logic in Computer Science)