アクターモデル Communicating Clinger アクター 表示的意味論 Hoare Hewitt Dissertation Agha シリアライザ Denotefactorial progressionS Denotational progressionfactorial rightSubTree leftSubTree Thati Bakker DenoteS getRight getLeft Concurrency Baeten denotacional nondeterminism progressionSi pushout progressionf descendantsf アントニー・ホーア Athas Gaspari Ziaei Neuendorffer Dally Processes Talcott 領域理論 eval 操作的意味論 Concurrent Semantics Gul Korff Middleware エドガー・ダイクストラ 米澤明憲 ペトリネット Serializers 形式体系