论文部分内容阅读
本文讨论了用于并发系统规范的2种方法:时序逻辑方法和状态自动机方法,由此,本文提出了一析的规范形式--公平转换系统规范FTSS(fair transition system specification),此规范方法集成了状态自动要方法和时序逻辑方法的优点,改进 时序逻辑方法通常较复杂,不易理解,特别唱它不能用于描述并发系统的局限性质等不足,进一步对FTSS中第一部分进行了讨论,是到结论,FTSS是