流事件结构逻辑相关硕士博士期刊学术论文

在并发系统的研究领域，时序逻辑常被用来刻画和推理并发系统的性质及行为。时序逻辑包括线性时间时序逻辑、分支时间时序逻辑及偏序......