Stav dette: Theory and algorithms for cooperative systems