Práce na stejné téma (mají shodná klíčová slova):

bisimulation

Klíčová slova abecedně | Klíčová slova dle četnosti

General stochastic bisimulation with compositionality results
 (Jan Láník)

2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/kilur/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Residue Component Synthesis for Handshake Composition
 (Filip Štefaňák)

2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/jlht2/ | Informatika / | Práce na příbuzné téma

Modální logika
 (Pavla Míznerová)

2014, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

• https://is.muni.cz/th/c2btw/ | Matematika / Statistika a analýza dat | Práce na příbuzné téma

On Extensions of Process Rewrite Systems
 (Vojtěch Řehák)

2007, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/nsah0/ | Informatika / | Práce na příbuzné téma

On Extensions of Process Rewrite Systems
 (Vojtěch Řehák)

2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/ql3fb/ | Informatika / | Práce na příbuzné téma