Modely konkurentných systémov Formálne metódy tvorby softvéru

ii.fmph.uniba.sk
  • No tags were found...

Modely konkurentných systémov Formálne metódy tvorby softvéru

Modálna logikaZavedieme nové operátory.P |= [| ↓ |]Φ iff P ↓ a ∀R ∈ {P ′ |P τ ⇒ P ′ } R |= ΦP |= [| ↓ K|]Φ iff P ↓ a ∀R ∈ {P ′ |P a ⇒ P ′ , a ∈ K} R |= Φ10 / 38

More magazines by this user
Similar magazines