アクターモデル
Actor model and process calculi