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

Operačná sémantika

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

b c

→ c.Nil → Nil

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

c

→ (d.Nil + c.Nil) d → Nil

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

c

→ (d.Nil + c.Nil) c → Nil

µXa.X a → µXa.X a → µXa.X a → . . .

Damas Gruska

Modely konkurentných systémov

More magazines by this user
Similar magazines