反应式系统的并发模型(Ⅳ)—时态逻辑模型 (1998年)

【文件属性】：

文件名称：反应式系统的并发模型(Ⅳ)—时态逻辑模型 (1998年)

文件大小：234KB

文件格式：PDF

更新时间：2024-05-17 22:19:05

自然科学 论文

基于文[1～3]，提出反应式系统并发描述的时态逻辑模型，并给出抽象计算模型的时态语义。