正性和无界性上有困难。参见非确定性的幂域。
并发性的指称语义.很多研究者争论说域理论模型不捕获并发计算的本质。为此介入各种新模型。在 1980 年代早期，人们开始使用指称语义的方式给予并发语言以语义。例子包括Will Clinger 关于演员模型的工作；Glynn Winskel 关于事件结构和petri网的工作 ；和 Francez, Hoare, Lehmann 和 de Roever (1979) 关于CSP 的跟踪语义的工作。对所有这些工作的质询仍在研究中。最近，Win