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 logikaNechCl 0Cl i+1def= Nildef= tick.Cl iaP def = ∑ i≥0 Cl i a R def = P + ClPotom P ≁ R ale nedajú sa rozĺıšiť žiadnou formulou, t.j. ∀Φ platíP |= Φ iff R |= Φ.12 / 38

More magazines by this user
Similar magazines