Browsing by Author "Agrawal, Vishakha"
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. ...