FI:I010 Komunikace a paralelismus - Informace o předmětu

I010 Komunikace a paralelismus

Fakulta informatiky
podzim 2000

Rozsah

3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. RNDr. Luboš Brim, CSc. (přednášející)

Garance

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

Osnova

Přehled modelů souběžných systémů. Modelování komunikace. Komunikační media, příklady komunikujících systémů, ekvivalence procesů.
Jazyk CCS. Synchronizace, akce a přechody, vnitřní akce, sémantika, synchronizační stromy, předávání hodnot, rekurze a indukce.
Rovnostní zákony a jejich aplikace. Klasifikace kombinátorů a zákonů, dynamické zákony, expanzní věta, statické zákony.
Bisimulace a ekvivalence. Silná bisimulace a její vlastnosti, silná kongruence, bisimulace a její vlastnosti, dokazování správnosti komunikujícího systému.
Teorie kongruence vzhledem k pozorování. Experiment, rovnosti a jejich vlastnosti, řešení rovností, konečné procesy.
Petriho sítě. Vlastnosti a třídy Petriho sítí, modelování systémů, procesy typu podmínka/událost.
Analýza P/T-sítí, S-invariant, T-invariant. Rozhodovací procedury pro některé problémy Petriho sítí.

Literatura

DESEL, Jörg a Javier ESPARZA. Free choice petri nets. 1st ed. Cambridge: Cambridge University Press, 1995, viii, 244. ISBN 0521465192. info
MILNER, Robin. Communication and concurrency. New York: Prentice Hall, 1989, 260 s. ISBN 0-13-115007-3. info

Informace učitele

http://www.fi.muni.cz/usr/brim/I010

Další komentáře

Předmět je vyučován každoročně.
Výuka probíhá každý týden.