Numer: 01b/2012 Str. 182
Autorzy: Farzaneh Mahdian , Vahid Rafe , Reza Rafeh :
Tytuł: Struktura automatycznego wykrywania zakleszczeń w oprogramowaniu charakteryzuj acym się zgodnością
Streszczenie: W oprogramowaniu charakteryzującym się zgodnością różne części mogą pracować niezależnie lub wspólnie. Największym problemem w tego typu programach jest stan zakleszczenia (deadlock). Dlatego ważne jest stworzenie mechanizmu automatycznego wykrywania takiej sytuacji. W artykule opisano metodę Bogor, w tym także BIR – język wejściowy do Bogor.
Słowa kluczowe: Bogor, zakleszczenia programu, zgodnośc oprogramnowania.