Deakstadieđáhus: Theory and algorithms for cooperative systems