The concept of power domains has been developed to give a denotational semantics to non-deterministic sequential programs.

• 要给出非确定性程序顺序程序指称语义，研究者已经开发出了幂域理论。