アクターモデル
Actor model, mathematical logic, and physics