Vykreslování flowgrafů pro provádění procesů popsaných formalismem Pi-kalkulu
Loading...
Downloads
2
Date issued
Authors
Konkol, Roman
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
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.
Description
Import 04/07/2011
Subject(s)
Pi-calculus, flowgraph, XML, Extensible Markup Language, process calculus, process