Our contributions oin.+ progres?分oct?? P∈{PsF/PDF} New prog. properties for obj. with partial methods Partial starvation-freedom(PSF) Partial deadlock-freedom(PDF) SF and df are specializations of psf and PdFOur contributions • New prog. properties for obj. with partial methods • Partial starvation-freedom (PSF) • Partial deadlock-freedom (PDF) • SF and DF are specializations of PSF and PDF O lin. + progress P?  O ctxt A??P P  {PSF/PDF}