human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "The topology of shared-memory adversaries"):
  Abstract: Failure patterns in modern parallel and distributed system are not necessarily uniform. The notion of an  adversary scheduler  is a natural way to extend the classical wait-free and  t -faulty models of computation. A well-established way to characterize an adversary is by its set of cores, where a  core  is any minimal set of processes that cannot all fail in any execution. We show that the protocol complex associated with an adversary is ( c -2)-connected, where  c  is the size of the adversary's smallest core. This implies, among other results, that such an adversary can solve  c -set agreement, but not ( c -1)-set agreement. The proofs are combinatorial, relying on a novel application of the Nerve Theorem of modern combinatorial topology.

Includes members:
  Member "Distributed programming with tasks":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science