Intel/AMD处理器与x86虚拟化 x86/x86-64 Linux Linux，Windows GPL v2 Logical Domains（英语：Logical Domains）太阳计算机系统公司 UltraSPARC T1，UltraSPARC T2 兼容 Solaris Solaris，Linux，FreeBSD

[2022-08-15]. （原始内容存档于2022-08-15）. Briggs, WE. Factorization in Integral Domains. The Mathematics Teacher (National Council of Teachers of Mathematics)

指称语义

Computation MIT EECS Doctoral Dissertation. January 1978. Michael Smyth. Power domains Journal of Computer and System Sciences. 1978. C.A.R. Hoare. Communicating

演员模型

Clinger（英语：William Clinger (computer scientist)）的1981年学位论文，它介入了基于幂域（英语：Power domains）的指称语义；还有Gul Agha（英语：Gul Agha）的1985年学位论文，它进一步发展出基于transition的语义模型，从而补充了

解釋 (邏輯)

Hailperin, Theodore, Quantification theory and empty individual-domains, The Journal of Symbolic Logic (Association for Symbolic Logic), 1953,

Found in articles

虛擬機器

[2022-08-15]. （原始内容存档于2022-08-15）. Briggs, WE. Factorization in Integral Domains. The Mathematics Teacher (National Council of Teachers of Mathematics)

指称语义

Computation MIT EECS Doctoral Dissertation. January 1978. Michael Smyth. Power domains Journal of Computer and System Sciences. 1978. C.A.R. Hoare. Communicating

演员模型

解釋 (邏輯)

Hailperin, Theodore, Quantification theory and empty individual-domains, The Journal of Symbolic Logic (Association for Symbolic Logic), 1953,