Design and implementation of an analyzer for a timed pi-calculus
Loading...
Authors
Rahman, MD Rezoanoor
Date
2010-09-29T19:54:43Z
Type
thesis
Language
eng
Keyword
kiltera , piklt , timed pi calculus , analyzer
Alternative Title
Abstract
In this thesis, we design and implement an analysis tool for a language called kiltera which is a timed extension of pi-calculus. kiltera allows the modeling of concurrent, mobile, real-time and distributed systems. Our analyzer takes a kiltera model as input and performs analyses such as detection of deadlock states, stable states etc. To improve performance, the analyzer uses some transformation techniques to simplify the input kiltera model without changing its behavior. We provide a detailed description of the design and implementation of the analyzer and discuss some performance optimizations. Finally, we present some case
studies to illustrate the capabilities of our analyzer.
Description
Thesis (Master, Computing) -- Queen's University, 2010-09-29 12:02:41.361
Citation
Publisher
License
This publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.