反应式系统的并发模型（Ⅳ）——时态逻辑模型

基于文（１￣３），提出反应式系统并发描述的时态逻辑模型，并给出抽象计算模型的时态语义。