A Corrected Failure Divergence Model for CSP in Isabelle/HOL
A Corrected Failure Divergence Model for CSP in Isabelle/HOL
复制标题
伊莎贝拉/HOL 的 CSP 修正故障发散模型
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
B. Wolff
中科院分区：
文献类型：
--
作者：
H. Tej;B. Wolff
我们根据 [BR 85] 的概念提出了 CSP 的故障分歧模型。它在定理证明者 Isabelle/HOL [Pau 94] 中高阶逻辑中的形式表示揭示了 CSP 基本定义中有关终止符号刻度处理的错误。
We present a failure-divergence model for CSP following the concepts of [BR 85]. Its formal representation within higher order logic in the theorem prover Isabelle/HOL [Pau 94] revealed an error in the basic definition of CSP concerning the treatment of the termination symbol tick.