Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Recent technological trends have pushed concurrency and mobile computing to the mainstream. Too many semantics have been proposed to picture the behavior of concurrent systems, and their relationship has been a hot topic in concurrency.  aim in this paper to bridge two important concurrent semantics, the true concurrency semantics and the interleaving semantics, based on the local cause semantics, in the framework of mobile computing.  enrich the polyadic  π  -calculus with the local cause semantics, and present a fully abstract, finiteness-respecting encoding from the local cause polyadic  π  -calculus to the polyadic  π  -calculus. Therefore, the local cause bisimulation is reduced to the observation bisimulation. Moreover, a new decidable approach is proposed for the local cause bisimulation on finite processes.
['Jianxin Xue', 'Xiaoju Dong']
I am writing a research paper on a idea A fully abstract view for local cause semantics
[{"from": "human", "value": "I am writing a research paper on a idea A fully abstract view for local cause semantics"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Recent technological trends have pushed concurrency and mobile computing to the mainstream. Too many semantics have been proposed to picture the behavior of concurrent systems, and their relationship has been a hot topic in concurrency.  aim in this paper to bridge two important concurrent semantics, the true concurrency semantics and the interleaving semantics, based on the local cause semantics, in the framework of mobile computing.  enrich the polyadic  \u03c0  -calculus with the local cause semantics, and present a fully abstract, finiteness-respecting encoding from the local cause polyadic  \u03c0  -calculus to the polyadic  \u03c0  -calculus. Therefore, the local cause bisimulation is reduced to the observation bisimulation. Moreover, a new decidable approach is proposed for the local cause bisimulation on finite processes."}]