史蒂夫·施耐德 定时CSP的操作语义。 (英语) Zbl 0827.68069号 Inf.计算。 116,第2期,193-213(1995). 总结:根据两种关系,为定时CSP语言定义了一种操作语义:进化关系,它描述了一个进程何时通过允许时间流逝而变成另一个进程;以及时间转换关系,它描述了一个进程何时可以通过在特定时间执行操作而变成另一个进程。本文展示了如何从操作语义中提取用作语言指称模型基础的时间行为。最后,证明了定时CSP的故障模型与可能测试等效,从而可以跟踪一致性。 引用于15文件 MSC公司: 68问题55 计算理论中的语义学 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 关键词:操作语义学;定时CSP PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider},Inf.计算。116,第2号,193--213(1995;Zbl 0827.68069) 全文: 内政部