Browsing by Subject "Language equivalence"
Now showing items 1-1 of 1
Synthesis of distributed systems w.r.t. isomorphism (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 ...