Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The trace equivalence of BPP was shown to be undecidable by Hirshfeld.  show that all the preorders and equivalences except bisimulation in Glabbeek's linear time-branching time spectrum are undecidable for BPP. The results are obtained by extending Hirshfeld's encoding of Minsky machines into BPP.  also show that those preorders and equivalences are undecidable even for a restriction of BPP to 2-labels.
['Hans Hüttel', 'Naoki Kobayashi', 'Takashi Suto']
I am writing a research paper on a idea Undecidable equivalences for basic parallel processes
[{"from": "human", "value": "I am writing a research paper on a idea Undecidable equivalences for basic parallel processes"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The trace equivalence of BPP was shown to be undecidable by Hirshfeld.  show that all the preorders and equivalences except bisimulation in Glabbeek's linear time-branching time spectrum are undecidable for BPP. The results are obtained by extending Hirshfeld's encoding of Minsky machines into BPP.  also show that those preorders and equivalences are undecidable even for a restriction of BPP to 2-labels."}]