これらの振る舞いには逐次性は前提とされておらず、並列的にこれらを実行する。
他のアクターとの通信は非同期に発生する（すなわち、送信側アクターはメッセージが受信されるのを待たずに次の計算に移行する）。
メッセージを送信する相手のアクターはアドレスによって指定される（これをアクターの「メールアドレス」とも呼ぶ）。結果として、アクターはアドレスのあるアクターとのみ通信可能であり、他のアクターのアドレスは以下のような方法で獲得される:
アクターモデルは、アクター自体およびアクター間の計算の本質的並行性を特徴とし、メッセージ内にアクターのアドレスを含め、相互のやりとりは到着順が保証されない直接的非同期メッセージパッシングのみである。
形式体系.
長年にわたり、アクターモデルを理解するための形式体系が開発されてきた。以下のようなものがある:
アクターモデルのメッセージパッシング機能を完全には形式化していない点でアクターモデルそのものには対応していない形式体系として、以下のようなものがある:
応用.
アクターモデルは、各種並行システムのモデリングや理解のフレームワークとして利用可能である。以下のような例がある:
アクターモデル以前.
アクターモデルは、それ以前の以下のような計算モデルの上に構築された。
メッセージパッシング意味論.
アクターモデルはメッセージパッシングの意味論でもある。
無制限の非決定性に関する議論.
最初の並行プログラムは割り込みハンドラであった。コンピュータは通常処理の最中に外部（キーボード、ネットワークなど）からの情報を受け取る必要が生じた。そこで、情報が到着すると、コンピュータは割り込まれ、割り込みハンドラと呼ばれる特別なコードが呼び出されて情報をバッファに取り込み、逐次的に処理できるようにする。
初期の計算モデル（チューリングマシン、ラムダ計算など）は数学に基づいており、状態によって計算「ステップ」を表現した。各計算ステップは、ある状態から別の状態への遷移である。このような状態遷移的手法は、非決定性のものを含む有限状態機械などのオートマタ理論へと発展していった。非決定性オートマトンには有限の非決定性があり、マシンが初期状態から動作開始したとき常に停止するなら、停止するときの状態数は有限である。