反应式系统的并发模型（I）——抽象数学模型

提出了反应式（ｒｅａｃｔｉｖｅ）系统形式化描述的一种抽象数学模型ＦＴＳ,分析了该模型带有公平性（ｆａｉｎｅｓｓ）条件及通过交替（ｉｎｔｅｒｌｅａｖｉｎｇ）实现并发计算的特点,并与实际系统进行比较,指出它要以较好地表示并发性。