Queen's University - Utility Bar

QSpace at Queen's University >
Graduate Theses, Dissertations and Projects >
Queen's Graduate Theses and 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

Files in This Item:

File Description SizeFormat
Rahman_Md_Rezoanoor_201009_MSc.pdf941.52 kBAdobe PDFView/Open
Keywords: kiltera
timed pi calculus
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 Graduate Theses and Dissertations
School of Computing Graduate Theses

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


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