Open AccessEvaluation of Parallel System using Process Algebra
Publication year - 2019
Publication title -
international journal of innovative technology and exploring engineering
Language(s) - English
Resource type - Journals
ISSN - 2278-3075
DOI - 10.35940/ijitee.i1034.0789s219
Subject(s) - computer science , process calculus , process (computing) , programming language , communicating sequential processes , execution model , theoretical computer science , algebraic number , parallel computing , semantics (computer science) , mathematics , operational semantics , mathematical analysis
In this paper we discuss method for efficiency testing of a concurrent processes execution system. We use the concept of process algebra, it is an algebraic technique for the study of execution of parallel processes. Mathematical language is use for building models of computing system which make records about the execution of the procedure. We use PEPA tool, TAPA tool for making model. These tools provide formal explanation of computing system models. The execution related data about the system will be use to check the execution efficiency of the procedure. Here we use concept of markov chain analysis for execution of the concurrent processes.