Browsing by Subject "Labeled transition system"

Now showing items 1-1 of 1

    • 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. ...