Browsing by Subject "Language equivalence"
Now showing items 1-1 of 1
(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 ...