Tematem seminarium jest przegląd rachunkow procesow, począwszy od klasycznych
(CSP, CCS, rachunek pi), aż do najnowszych formalizmow opisujących mobilność
czy modelujących systemy biologiczne (ambient calculi, join-calculus, brane
calculi).
Szczegolnie będą nas interesować kwestie wyrażalności w poszczegolnych
rachunkach, metody wnioskowania o rownoważności procesow, a także systemy
typow dla wspołbieżności.
Wymagania: Teoretyczne podstawy procesow wspołbieżnych.
