Search

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