アクターモデル
また、Janusの機能を制限したLucyと呼ばれる言語でアクターモデルが自然に表現できるため、KahnとSaraswatはアクターモデルが並行制約プログラミングの特別なケースだと主張した