Browsing Queen's Graduate Theses and Dissertations by Subject "kiltera"
Now showing items 1-1 of 1
(2010-09-29)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 ...