Thesis Details

Vizualizace výrazů procesní algebry pi-kalkul

Master's Thesis Student: Prokopová Dagmar Academic Year: 2016/2017 Supervisor: Rychlý Marek, RNDr., Ph.D.
English title
Visual Representation of Pi-Calculus Expressions
Language
Czech
Abstract

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.

Keywords

Process algebras, Pi-calculus, Visualization, Concurent systems, Formal specification, Graphical representation, Graph, Reduction, Expressions

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology, Field of Study Intelligent Systems
Files
Status
defended, grade A
Date
20 June 2017
Reviewer
Křivka Zbyněk, Ing., Ph.D.
Committee
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT), předseda
Čadík Martin, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT), člen
Janoušek Jan, doc. Ing., Ph.D. (FIT CTU), člen
Orság Filip, Ing., Ph.D. (DITS FIT BUT), člen
Zachariášová Marcela, Ing., Ph.D. (DCSY FIT BUT), člen
Citation
PROKOPOVÁ, Dagmar. Vizualizace výrazů procesní algebry pi-kalkul. Brno, 2017. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-20. Supervised by Rychlý Marek. Available from: https://www.fit.vut.cz/study/thesis/5123/
BibTeX 
@mastersthesis{FITMT5123,
    author = "Dagmar Prokopov\'{a}",
    type = "Master's thesis",
    title = "Vizualizace v\'{y}raz\r{u} procesn\'{i} algebry pi-kalkul",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/5123/"
}

Theses

Back to top