很久以前，罗伯·派克(Rob Pike)和卢卡·卡德利(Luca Cardelli)撰写了一张paper，名为“吱吱声:一种与老鼠交流的语言”。它基于Hoare的通信顺序过程，但已编译为单线程C代码-运行时无线程或调度程序。但是，我找不到Squeak的编译器，Rob Pike继续写了newsqueak，它在运行时确实具有不确定的调度程序，所以不是我想要的。
Esterel还是一种对并发有很多支持的语言，可以将其编译成单线程C代码-但是Esterel Technologies出售SCADE Studio的价格很高，他们甚至都没有说web page花费了多少。
Columbia Esterel编译器为available。是否有其他现代语言将“多线程”算法编译为单线程确定性输出？
谢谢。
最佳答案
我不太确定你在问什么。您是否在寻找具有确定性并发模型的编程语言？
如果是这样，则基于分布式Oz编程语言的规范示例将是Mozart Programming System。