Seol mar théacs é seo: Theory and algorithms for cooperative systems