流事件结构相关硕士博士期刊学术论文 - 信丰网

流事件结构相关论文

用基于流事件结构的偏序时序逻辑刻画并发系统多诱因特征

针对如何利用偏序时序逻辑刻画并发系统多诱因性的问题，提出了一种依赖流关系的流事件结构逻辑（FESL），作为多诱因特征的刻画语言。FESL......

期刊

流事件结构偏序时序逻辑格局公理系统 flow event structure partial order temporal logic confi

看过本文同时还关注