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

ii.fmph.uniba.sk

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

CCS, neformálny úvod

(a.Nil + b.Nil) → a Nil

(a.Nil + b.Nil) → b Nil

(a.Nil + b.Nil) \ {a} vie urobiť len akciu b - akcia a je zakázaná

(a.Nil + b.Nil) \ {a} → b Nil

(a.Nil + b.Nil) \ {a} ↛

a

Damas Gruska

Modely konkurentných systémov

More magazines by this user
Similar magazines