Synthesis of distributed systems w.r.t. isomorphism

Abstract

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 specifications and independences between actions which comprises the global specifications, we will define distributed system as collection of processes each operating on some local actions. Processes have to synchronize their common actions. Our first aim will be to check if construction of distributed system is possible or not. If possible then we will go to construction phase of such distributed system.