Erlangを使ったエリクソンの開発事例が有名じゃないの
有名といってもたかが知れてる感はあるけど
非常に高度な無停止性を実現したケースだったはず

アクターとかCSPとかデータフローとかペトリネットとか
並行性を含んだモデルは昔からあるけど
少なくとも今のところメジャーになった言語には採用されてないね