Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   Unbounded nondeterminism has played a fundamental role in the areas of refinement beten models of languages supporting real-time constructs and in the treatment of fairness. Unlike bounded nondeterminism, unbounded nondeterminism has not been amenable to a satisfactory treatment using, for instance, the techniques of domain theory.   explore this issue, and  show that only one of the three pordomains has a suitable analogue for modeling unbounded nondeterminism. In the process,  are forced to leave the realm of directed complete partial orders and continuous maps. The theory  develop is based on the theory first presented in [7], which itself was based on work on unbounded nondeterminism in untimed and Timed CSP.
['Michael W. Mislove']
I am writing a research paper on a idea Denotational Models for Unbounded Nondeterminism1
[{"from": "human", "value": "I am writing a research paper on a idea Denotational Models for Unbounded Nondeterminism1"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   Unbounded nondeterminism has played a fundamental role in the areas of refinement beten models of languages supporting real-time constructs and in the treatment of fairness. Unlike bounded nondeterminism, unbounded nondeterminism has not been amenable to a satisfactory treatment using, for instance, the techniques of domain theory.   explore this issue, and  show that only one of the three pordomains has a suitable analogue for modeling unbounded nondeterminism. In the process,  are forced to leave the realm of directed complete partial orders and continuous maps. The theory  develop is based on the theory first presented in [7], which itself was based on work on unbounded nondeterminism in untimed and Timed CSP."}]