Interaktivní osnova

21.2. Úvodní seminář, domluva o programu

28.2. odpadá

7.3. Katarína Kejstová: Taxonomy of Infinite State Processes (based on a paper by F.Moller)

14.3. Lukáš Tomovič: Process Rewrite Systems (based on a paper by J.Esparza: Grammars as Processes)

21.3. Miroslav Chodil: Process Algebras based on selected chapters from the book by Baeten, Weiland: "Process Algebras"

28.3. Juraj Síč: The linear time - branching time spectrum (based on papers by R van Glabbeek at CONCUR and in Handbook of PA)

Michal Ajdarów: Bisimulation Equivalence is Decidable for nBPA (based on Huttel, Stirling "Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes"

Viktória Vozárová: Games ans Synthesis

Jakub Lédl: Games and Synthesis