Pr-1st-1.1-m09-Slajd18

Klasyczna definicja zakończenia

W klasycznej definicji zakończenia przyjmowano, że przetwarzanie rozproszone jest ws tanie zakończenia, jeżeli w danej chwili wszystkie procesy są pasywne i wszystkie kanały są puste, awięc gdy zachodzi następujący predykat:

$Cterm({𝒫}{)}^{\prime }\equiv \mathrm{\forall }{P}_i::P_i\in {𝒫}::(passiv{e}_i\wedge ({{𝒜}{𝒱}}_i=\mathrm{\varnothing })\wedge ({{ℐ}{𝒯}}_i=\mathrm{\varnothing })$

<< Poprzedni slajd | Spis treści | Następny slajd >>