反应式系统的并发模型(Ⅰ)——抽象数学模型* (1998年)

【文件属性】：

文件名称：反应式系统的并发模型(Ⅰ)——抽象数学模型* (1998年)

文件大小：248KB

文件格式：PDF

更新时间：2024-06-11 17:27:25

自然科学 论文

提出了反应（reactive）系统形式化描述的一种抽象数学模型FTS。分析了该模型带有公平性（fairness）条件及通过交替（interleaving）实现并发计算的特点；并与实际系统进行比较，指出它可以较好地表示并发性。