• Felipe Cerqueira's avatar
    Formalization of Weakly Sustainable Policy · 258edf49
    Felipe Cerqueira authored
    1) Formalize the notion of weakly sustainable policy, along with
    its contrapositive, and prove the equivalence between the two.
    
    2) Establish weak sustainability of self-suspending tasks w.r.t.
    execution times and variable suspension times, based on the
    transformation we had formalized.
    258edf49
suspension.v 2.32 KB