Strand
Strandは並行プログラミングのためのプログラミング言語で、論理変数を介して通信を行う複数の軽量プロセスのネットワークとしてプログラムを記述する。言語仕様や考え方はそれ以前に開発されたPARLOGや第五世代コンピュータプロジェクトで開発されたGuarded Horn Clausesと非常によく似ている。
Strandではホーン節にガードを導入した以下のような規則の集まりでプログラムを記述する。
HeadとG1, ..., Gnはプロセス書き換えのための条件、B1, ..., Bmは書き換え後のプロセスを表す。生成されたプロセスは全て並行に実行される。プロセス間の通信にはプロセスで共有する論理変数を使用する。書き換え規則の適用に十分な情報がなければ書き換えを中断し、判断に必要な情報が得られるまで待つことで、プロセス間の同期が行われる。ストリームは論理変数を含んだリストとして表現する。論理変数を共有するプロセスの数に制限はないため、ストリーム通信は1対1だけではなく1対Nのブロードキャストなど、様々な形態が可能である。
StrandはFortranやC言語とのインタフェースを持ち、また個々のプロセスを実行するプロセッサーを指定するためのプラグマを持っていた。