Design and implementation of an analyzer for a timed pi-calculus
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en en |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1974/6108 |