アクターモデル
Process calculi and Actor model.