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

IV010 Komunikace a paralelismus

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. (přednášející)
doc. RNDr. David Šafránek, Ph.D. (náhr. zkoušejí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 10:00–11:50 D3

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

• Aplikovaná informatika (program FI, B-AP)
• Aplikovaná informatika (program FI, N-AP)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-SO)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS)

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

• MILNER, Robin. Communicating and mobile systems : the Pi calculus. Cambridge: Cambridge University Press, 1999, xii, 161 s. ISBN 0-521-64320-1. info
• MILNER, Robin. Communication and concurrency. New York: Prentice Hall, 1989, 260 s. ISBN 0-13-115007-3. info

Metody hodnocení

Zkouška je písemná, případně i ústní. Při zadání průběžných testů během semestru, mají tyto podíl nejvýše 30% na závěrečném hodnocení. Pomocné materiály nejsou povoleny.

Navazující předměty

• IA040 Modální a temporální logiky procesů

Informace učitele

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

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (jaro 2005, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2005/IV010