FI:IV010 Komunikace a paralelismus - Informace o předmětu
IV010 Komunikace a paralelismus
Fakulta informatikyjaro 2003
- Rozsah
- 2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Luboš Brim, CSc. (cvičící)
doc. RNDr. David Šafránek, Ph.D. (cvičící) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc. - Rozvrh
- Čt 11:00–12:50 D1
- Předpoklady
- ! I010 Komunikace a paralelismus
- 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
- předmět má 7 mateřských oborů, zobrazit
- Cíle předmětu
- Cílem předmětu je získat základní dovednosti, které jsou používány pro formální specifikaci a analýzu komunikujících systémů, včetně teoretických základů příslušných formálních nástrojů.
- 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.
- Pi-kalkul. Modelování mobilních procesů, polyadický Pi-kalkul, příklady aplikací, redukce na lamba-kalkul.
- Literatura
- Informace učitele
- http://www.fi.muni.cz/usr/brim/I010
- Další komentáře
- Předmět je vyučován každoročně.
- Statistika zápisu (jaro 2003, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2003/IV010