Teorie a specifikace procesů
Program
- 20. 2. 2014 - organizace, stanovení programu
- 27. 2. 2014 - Viktor Toman: Process Rewrite Systems (based on a paper by J.Esparza: Grammars as Processes) https://is.muni.cz/auth/el/1433/jaro2014/IA041/ode/Viktor_Toman_IA041.odp
- 6. 3. 2014 - Adrián Elgyütt: Taxonomy of Infinite State Processes (based on a paper by F.Moller) https://is.muni.cz/auth/el/1433/jaro2014/IA041/ode/IA041_Adrian_Elgyutt-Taxonomy.pdf
- 13. 3. 2014 - Juraj Bielik: Process Algebras, part I (based on intro chapters from the book by Wan Fokkink: "Intro to Process Algebras") https://is.muni.cz/auth/el/1433/jaro2014/IA041/ode/IA041_Bielik.pdf
- 20. 3. 2014 - David Klaška: Process Algebras, part II (based on selected chapters from the book by Baeten, Weiland: "Process Algebras") /auth/el/1433/jaro2014/IA041/ode/IA041_David_Klaska.pdf(pro zajemce zdroj.text: /auth/el/1433/jaro2014/IA041/ode/IA041_David_Klaska.tex
- 27. 3. 2014 - Martin Jonáš: The linear time - branching time spectrum (based on papers by R van Glabbeek at CONCUR and in Handbook of PA) /auth/el/1433/jaro2014/IA041/ode/IA041_Martin_Jonas.pdf
- 3. 4. 2014 - Petr Pilař: Bisimulation Equivalence is Decidable for nBPA (based on Huttel, Stirling "Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes") /auth/el/1433/jaro2014/IA041/ode/IA041_Petr_Pilar.pdf
- 10. 4. 2014 - Zuzana Zatrochová: Bisimulation Equivalence is Decidable for BPP (based on Christensen, Hirshfeld, Moller: "Bisimulation Equivalence is Decidable for Basic Parallel Processes") /auth/el/1433/jaro2014/IA041/ode/IA041_Zuzana_Zatrochova.pdf
- 17. 4. 2014 - Marek Tomáštík: An Automata-Theoretic Approach to LTL, part I(based on M.Vardi : "An Automata-Theoretic Approach to Linear Temporal Logic") /auth/el/1433/jaro2014/IA041/ode/IA041_Marek_Tomastik.pdf
- 24. 4. 2014 - Vladimír Bača: An Automata-Theoretic Approach to LTL, part II (based on M.Vardi : "An Automata-Theoretic Approach to Linear Temporal Logic", part Synthesis) /auth/el/1433/jaro2014/IA041/ode/IA041_Vladimir_Baca.pdf
- 15. 5. 2014 - Tomáš Lamser: An Automata-Theoretic Approach to LTL synthesis /auth/el/1433/jaro2014/IA041/ode/IA041_Tomas_Lamser_prezentace.pdf
Následující