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

Concurrent Models for Reactive Systems(Ⅰ): An Abstract Mathematical Model

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

This paper presents an abstract mathematical model for specifying reactive systems——fair transition system(FTS),analyzes its propoties of fairness condition and concurrent computing by interleaving,and points out that FTS model can express concurrency better by compareing with actual systems.