Browsing by Author "Bhateja, Puneet"

Now showing items 1-4 of 4

    • Designing distributed systems w.r.t conformance 

      Agrawal, Vishakha (Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
      This thesis is about revisiting an old yet classic problem - From a labeled transition system (LTS), can a distributed labeled transition system (DLTS) be synthesized such that the behavior of both systems are equivalent. ...

    • Synthesis of distributed systems w.r.t. isomorphism 

      Sagathiya, Ridhamkumar (Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
      This thesis focuses on the construction of the distributed system from global specifications. Our main focus is only on distribution as a synchronous product of transition systems. By having prior knowledge of a global ...

    • Testing Labelled Transition System 

      Christian, Ruzvelt (Dhirubhai Ambani Institute of Information and Communication Technology, 2017)
      "For a successful interaction among computer systems from distinct manufactures, standardize communication protocol are being generated and specified. Implementation of those protocol are required that conforms to those ...

    • Testing synchronously communicating distributed systems 

      Vishwakarma, Nikita (Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
      In our work we are supposed to test whether the generated distributed implementation(or distributed network) behaves similar to that of given specification. We are doing this over synchronously communicating FSMs(Finite State ...