Now showing items 1-2 of 2

    • Characterization of Realization Graphs 

      Seksaria, Khushboo (Dhirubhai Ambani Institute of Information and Communication Technology, 2017)
      "Given a degree sequence d, usually it generates several different realizations belonging to several distinct isomorphism classes. In general, the structure of an arbitrary realization cannot be known from its degree ...
    • 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 ...