Queen's University - Utility Bar

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

Files in This Item:

File Description SizeFormat
Rahman_Md_Rezoanoor_201009_MSc.pdf941.52 kBAdobe PDFView/Open
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:Computing Graduate Theses
Queen's Theses & Dissertations

Items in QSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

  DSpace Software Copyright © 2002-2008  The DSpace Foundation - TOP