|
QSpace at Queen's University >
Theses, Dissertations & Graduate Projects >
Queen's Theses & Dissertations >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1974/6108
|
| Title: | Design and implementation of an analyzer for a timed pi-calculus |
| Authors: | RAHMAN, MD REZOANOOR |
|
|
| Keywords: | kiltera
piklt
timed pi calculus
analyzer |
| Issue Date: | 2010 |
| Series/Report no.: | Canadian theses |
| 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 |
| URI: | http://hdl.handle.net/1974/6108 |
| Appears in Collections: | Queen's Theses & Dissertations
Computing Graduate Theses
|
Items in QSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
