アクターモデル
アクターモデルは、各種並行システムのモデリングや理解のフレームワークとして利用可能である。以下のような例がある: