Now showing items 1-1 of 1

    • Design and implementation of an analyzer for a timed pi-calculus 

      RAHMAN, MD REZOANOOR (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 ...