Předmět Komunikace a paralelismus (IV010)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IV010 - Komunikace a paralelismus, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Cílem předmětu je získat základní dovednosti, které jsou používány proformální specifikaci a analýzu komunikujících systémů, včetně teoretickýchzákladů příslušných formálních nástrojů.Po absolvování kurzu získají studenti schopnost specifikovat a implementovat v jazyce CCS jednoduché komunikační protokoly, analyzovat a formálně ověřovat korektnost návrhu a orientovat se v nejčastějších typech ekvivalencí mezi procesy a jejich omezení.
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, bisimulacea 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.Temporální vlastnosti procesů.
Literatura
MILNER, Robin. Communicating and mobile systems : the Pi calculus. Cambridge: Cambridge University Press, 1999. xii, 161 s. ISBN 0-521-64320-1. infoMILNER, Robin. Communication and concurrency. New York: Prentice Hall, 1989. 260 s. ISBN 0-13-115007-3. info
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
prof. RNDr. Luboš Brim, CSc.