General stochastic bisimulation with compositionality results – Bc. Jan Láník
Bc. Jan Láník
Master's thesis
General stochastic bisimulation with compositionality results
General stochastic bisimulation with compositionality results
Anotácia:
Tato práce upřesňuje a rozšiřuje předchozí teoretickou práci autora v oblasti zobecnění stochastických algeber procesů na obecné pravděpodobnostní distribuce. Je představen obecný stochastický operátor který pracuje s obecnými distribucemi na potenciálně nespočetných doménách. Tento stochastický operátor je zahrnut do stochastické algebry procesů která vychází z jazyka mCRL2. Jsou uvedeny předpoklady …viacAbstract:
This thesis is aimed at correcting and extending a previous theoretical work of the author on generalization of stochastic process algebraic framework to general distributions. It introduces a general stochastic process operator which operates on general stochastic distributions over possibly uncountable data domains. This stochastic process operator is incorporated in a stochastic process algebra …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 23. 5. 2012
Identifikátor:
https://is.muni.cz/th/kilur/
Obhajoba závěrečné práce
- Obhajoba proběhla 26. 6. 2012
- Vedúci: RNDr. David Šafránek, Ph.D.
- Oponent: prof. RNDr. Ivana Černá, CSc.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Theoretical Informatics