| dc.contributor.advisor | Kuchař, Štěpán | cs |
| dc.contributor.author | Konkol, Roman | cs |
| dc.date.accessioned | 2011-07-01T01:54:39Z | |
| dc.date.available | 2011-07-01T01:54:39Z | |
| dc.date.issued | 2011 | cs |
| dc.identifier.other | OSD002 | cs |
| dc.identifier.uri | http://hdl.handle.net/10084/87077 | |
| dc.description | Import 04/07/2011 | cs |
| dc.description.abstract | Cílem této práce je vytvořit systém schopný zobrazit komunikaci mezi procesy popsané algebrou Pi-kalkulu pomocí flowgrafů a navrhnout vhodné uložení formálního zápisu procesů v Pi-kalkulu.
V rámci této práce jsem popsal formalismus Pi-kalkulu, postup převodu formalismu do XML dokumentu a navrhl systém zobrazující Pi-kakul pomocí flowgrafů. | cs |
| dc.description.abstract | The main objective of this thesis is to create an application that's capable to represent communicating processes described by Pi-calculus with flowgraphs and suggest suitable deposition for Pi-calculus formalism.
In this thesis I described a transfer plan of Pi-calculus formalism to XML document and I suggest an application portrayed Pi-calculus processes by flowgraphs. | en |
| dc.format.extent | 995950 bytes | cs |
| dc.format.mimetype | application/pdf | cs |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoká škola báňská - Technická univerzita Ostrava | cs |
| dc.subject | pi-kalkul, flowgraf, XML, Extensible Markup Language, procesní kalkul, proces | cs |
| dc.subject | Pi-calculus, flowgraph, XML, Extensible Markup Language, process calculus, process | en |
| dc.title | Vykreslování flowgrafů pro provádění procesů popsaných formalismem Pi-kalkulu | cs |
| dc.title.alternative | Creating Flowgraph Chains Based on the Pi-calculus Formalised Processes | en |
| dc.type | Diplomová práce | cs |
| dc.contributor.referee | Kožusznik, Jan | cs |
| dc.date.accepted | 2011-06-08 | cs |
| dc.thesis.degree-name | Ing. | cs |
| dc.thesis.degree-level | Magisterský studijní program | cs |
| dc.thesis.degree-grantor | Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky | cs |
| dc.description.department | 460 - Katedra informatiky | cs |
| dc.thesis.degree-program | Informační a komunikační technologie | cs |
| dc.thesis.degree-branch | Informatika a výpočetní technika | cs |
| dc.description.result | velmi dobře | cs |
| dc.identifier.sender | S2724 | cs |
| dc.identifier.thesis | KON467_FEI_N2647_2612T025_2011 | |
| dc.rights.access | openAccess | |