アクターモデル
アクターモデル以前に広く使われていた並行計算用モデル。しかし、ペトリネットは制御フローはモデル化できるが、データフローをモデル化できないという弱点があった。また、ヒューイットが指摘した問題として、動作の同時性がある。ペトリネットでの不可分な計算ステップはトークンが入力箇所から消え、「同時に」出力箇所に出現することになっている。ヒューイットはこのような特徴を前提としたモデルでは実際の並行システムにそぐわないと考えた。
局所的並行性と非局所的並行性の間を埋める。透過性に関しては議論が続いている。研究者によっては、並行プログラミング言語(JavaやC#)による局所的並行性とSOAPによるWebサービスなどの非局所的並行性を明確に分けて扱うべきだとする。しかし、そのような分離は技術の進歩による並行性の移行(局所⇒非局所、あるいは逆)の際に透過性の問題となって現われる。この隙間を埋めるには、XML(およびXSD)バイナリをJavaなどのデータ型とする必要があるかもしれない(XLINQ 参照。ただしワード文書)。
合成性(Compositionality)とは、アクターシステム群から大きなシステムを構成できることを意味する。これはモジュール性という観点で重要であり、Gul Agha の学位論文や Gul Agha、Ian Mason、Scott Smith、Carolyn Talcottで展開された。
アクターモデルではメッセージをバッファに蓄える必要はない。この点はかつての並行計算のモデルとは明確に異なっている。バッファがないという点は当初から誤解されがちで、議論となる問題である。なぜならば、アクターモデルでのメッセージは(IPのパケットのように)単に送られる。受信側と同期的なハンドシェイクをする必要はない。