遅延評価 rightSubTree Denotational progressionfactorial Denotefactorial 表示的意味論 progressionS leftSubTree Bakker getRight getLeft DenoteS nondeterminism progressionf descendantsf pushout denotacional progressionSi Baeten 領域理論 eval Communicating Clinger Korff アクターモデル Concurrency Semantics Abramsky 操作的意味論 factorial Hoare アクター lookup プロミス Dissertation Graph immediate Concurrent Computation 不動点 Processes domains parallelism Hewitt Customer editors Methodology Allison Algebraic N2