论文部分内容阅读
针对如何利用偏序时序逻辑刻画并发系统多诱因性的问题，提出了一种依赖流关系的流事件结构逻辑（FESL），作为多诱因特征的刻画语言。FESL以流事件结构作为框架模型，并且依据格局量词，建立了自己的公理系统。证明了FESL不仅能有效表达多诱因特性，而且还能描述涉及多个运行实例的特性；同时也证明了FESL的完备性、合理性以及可判定性。