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

Dualitanegácíı sa možno vyhnúťΨ c ... komplementárna formula k Ψtt c = ffff c = tt(Ψ ∧ Φ) c = Ψ c ∨ Φ c(Ψ ∨ Φ) c = Ψ c ∧ Φ c([K]Ψ) c = < K > Ψ c(< K > Ψ) c = [K]Ψ c(µZ.Ψ) c = νZ.Ψ c(νZ.Ψ) c = µZ.Ψ c 36 / 38

More magazines by this user
Similar magazines