Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   The submodule construction problem (SCP) as stated and formulated by Merlin and Bochmann [P. Merlin, G.V. Bochmann, On the construction of submodule specification and communication protocols, ACM Trans. Prog. Lang. Sys., 5(1) (1983) 1–25] is considered: given the specification of a system (module) and that of its  n −1 submodules, determine the specification of the  n th submodule that together with the given  n −1 submodules will satisfy the given system specification.  recast SCP in a formal setting and proceed to present and prove the correctness of an algorithm for the solution of SCP where submodules are prefix-closed finite state machines.
['Esfandiar Haghverdi', 'Hasan Ural']
I am writing a research paper on a idea Submodule construction from concurrent system specifications
[{"from": "human", "value": "I am writing a research paper on a idea Submodule construction from concurrent system specifications"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   The submodule construction problem (SCP) as stated and formulated by Merlin and Bochmann [P. Merlin, G.V. Bochmann, On the construction of submodule specification and communication protocols, ACM Trans. Prog. Lang. Sys., 5(1) (1983) 1\u201325] is considered: given the specification of a system (module) and that of its  n \u22121 submodules, determine the specification of the  n th submodule that together with the given  n \u22121 submodules will satisfy the given system specification.  recast SCP in a formal setting and proceed to present and prove the correctness of an algorithm for the solution of SCP where submodules are prefix-closed finite state machines."}]