I010 Komunikace a paralelismus

Fakulta informatiky
podzim 2001
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
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc.
Rozvrh
Čt 12:00–13:50 D1
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.
  • 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
Informace učitele
http://www.fi.muni.cz/usr/brim/I010
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích zima 1995, zima 1996, zima 1997, podzim 1998, podzim 1999, podzim 2000.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2001/I010