مفاهیم پایه تعریف 1- گراف- انتظار- برای ( WFG): یک گراف جهتدار است که وابستگی بین فرایندها را نشان می دهد و در آن گره ها فرایندها و یالها نشان دهنده درخواست منابع است. تعریف2- چرخه[1] بن بست: یک چرخه جهتدار در گراف- انتظار- برای ( WFG) است. تعریف3 - بن بست دروغین: به بن بستی گفته می شود که در حقیقت وجود ندارد. تعریف4 - درستی الگوریتم های تشخیص بن بست توزیع شده: اثبات درستی الگوریتم های تشخیص بن بست توزیع شده با 2 ویژگی زیر تعیین می شود: ویژگی پیشرفت ( Progress): بدین معنی که هر بن ب ...