摘要：重新审视由Boussinot和De Simone引入的SL同步编程模型（IEEE，软件工程事务，1996年）。我们讨论了模型的另一种设计，包括线程生成和递归定义，并探讨了修订模型的一些基本属性：确定性、反应性、CPS转换为尾递归形式、计算表达能力和程序等价的组合概念。
作者：Roberto Amadio (PPS)
论文ID：cs/0511092
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-06-13
PDF 下载： 英文版 中文版pdf翻译中