IV010 Komunikace a paralelismus
Sylabus:
- 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.
Rozvrh:
Čtvrtek, 10:00 - 11:50, A107
Požadavky na absolvování
předmětu: Předmět je zakončen písemnou zkouškou. Použití literatury a poznámek není při
písemce povoleno.
Literatura a studijní materiály:
- Milner, Robin. Communication and concurrency. New York : Prentice Hall,
1989. 260 s. Prentice-Hall international series in computer science.
- Milner, Robin. Communicating and mobile systems : the Pi calculus. Cambridge : Cambridge University Press, 1999.
Konzultační hodiny:
Pondělí od 9:00 do 10:00
Čtvrtek od 9:00 do 10:00