Mesa
モジュールは分割コンパイルの単位で、インターフェースモジュールと実装モジュールがあり、これによって異なるモジュールの間で静的な型チェックができるようになった。あるプログラムからモジュールを使用する場合、DIRECTORY節によって使用するモジュールを指定する。
実行時には各実装モジュールに対してフレーム(インスタンス)が生成される。NEWを使って実行時にフレームのコピーを生成することもできる。
Mesaはコルーチンをサポートしている。PORTという型があり、手続きのように呼びだすことである手続きまたはモジュールから制御を移すことができる。
また、FORKを使って手続きを非同期に走らせることもできる。
複数のプロセスの排他制御のためにはモニタというモジュールの一種を作り、そこで条件変数を定義することができる。条件変数はNOTIFYすることでロックがかかり、WAITでロックがはずれる。