很久以前，Rob Pike和Luca Cardelli写了一个名为“Squeak：与老鼠沟通的语言”的paper。它基于Hoare的通信顺序进程，但它被编译成单线程C代码 - 运行时没有线程或调度程序。但是，我找不到Squeak的编译器，Rob Pike继续编写newsqueak，它在运行时确实有一个非确定性的调度程序，所以不是我想要的。
Esterel也是一种支持并发性的语言，可以编译成单线程C代码 - 但Esterel Technologies出售SCADE Studio需要花费很多钱，他们甚至不会说出他们的成本是多少web page
哥伦比亚Esterel编译器是available。还有其他现代语言将“多线程”算法编译成单线程，确定性输出吗？
感谢。
答案 0 :(得分：1)
我不太确定你在问什么。您是否在寻找具有确定性并发模型的编程语言？
如果是这样，那么基于分布式Oz编程语言的规范示例将是Mozart Programming System。
答案 1 :(得分：1)
Esterel的另一个实现，称为Lustre，可在http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lv4-distrib
处索取它要求签署许可证，但我刚刚给Pascal Raymond发了电子邮件，他给我发了链接来下载源代码。
它有效，但设置它需要一点耐心。考虑制作一个Automake脚本来完成这项工作。
答案 2 :(得分：0)
为什么不试试属于signal language家庭的Synchronous languages？