アクターモデル
X ≡ {e’ | e ─≈→1-message e’} (see Actor model theory),