Teorie a specifikace procesů
-
Teorie a specifikace procesů
-
Nyní studovat21.2. Úvodní seminář, domluva o programu
-
Nyní studovat28.2. odpadá
-
Nyní studovat7.3. Katarína Kejstová: Taxonomy of Infinite State Processes (based on a paper by F.Moller)
-
Nyní studovat14.3. Lukáš Tomovič: Process Rewrite Systems (based on a paper by J.Esparza: Grammars as Processes)
-
Nyní studovat21.3. Miroslav Chodil: Process Algebras based on selected chapters from the book by Baeten, Weiland: "Process Algebras"
-
Nyní studovat28.3. Juraj Síč: The linear time - branching time spectrum (based on papers by R van Glabbeek at CONCUR and in Handbook of PA)
-
Nyní studovatMichal Ajdarów: Bisimulation Equivalence is Decidable for nBPA (based on Huttel, Stirling "Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes"
-
Nyní studovatViktória Vozárová: Games ans Synthesis
-
Nyní studovatJakub Lédl: Games and Synthesis
-
Nyní studovatZávěrečný seminář
-
28.2. odpadá
-
Teorie a specifikace procesů
-
Nyní studovat21.2. Úvodní seminář, domluva o programu
-
Nyní studovat28.2. odpadá
-
Nyní studovat7.3. Katarína Kejstová: Taxonomy of Infinite State Processes (based on a paper by F.Moller)
-
Nyní studovat14.3. Lukáš Tomovič: Process Rewrite Systems (based on a paper by J.Esparza: Grammars as Processes)
-
Nyní studovat21.3. Miroslav Chodil: Process Algebras based on selected chapters from the book by Baeten, Weiland: "Process Algebras"
-
Nyní studovat28.3. Juraj Síč: The linear time - branching time spectrum (based on papers by R van Glabbeek at CONCUR and in Handbook of PA)
-
Nyní studovatMichal Ajdarów: Bisimulation Equivalence is Decidable for nBPA (based on Huttel, Stirling "Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes"
-
Nyní studovatViktória Vozárová: Games ans Synthesis
-
Nyní studovatJakub Lédl: Games and Synthesis
-
Nyní studovatZávěrečný seminář
-