Browsing by Author "Sagathiya, Ridhamkumar"

Now showing items 1-1 of 1

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