Return to search

Vizualizace výrazů procesní algebry pi-kalkul / Visual Representation of Pi-Calculus Expressions

This work deals with the problem of visual representation of Pi-calculus expressions. The theoretical part of this paper discusses general principles of process algebras as well as specific properties of individual models, with a focus on Pi-calculus. Also included is the comparison of several text and graphical representations of expressions. The main part of the thesis deals with the design and implementation of an application for converting text representation of expressions into graphical representation. In addition to the text and graphical representation, an internal tree representation designed to work with expressions within the application is also proposed. The thesis also describes algorithms for finding feasible reductions, performing reductions and expression simplification that operate with the proposed tree representation.

Identiferoai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:363857
Date January 2017
CreatorsProkopová, Dagmar
ContributorsKřivka, Zbyněk, Rychlý, Marek
PublisherVysoké učení technické v Brně. Fakulta informačních technologií
Source SetsCzech ETDs
LanguageCzech
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/masterThesis
Rightsinfo:eu-repo/semantics/restrictedAccess

Page generated in 0.0021 seconds