Testing Equivalence for Processes
Testing Equivalence for Processes
复制标题
测试流程的等效性
DOI：
10.1007/bfb0036936
复制
发表时间：
1983
期刊：
影响因子：
--
通讯作者：
M. Hennessy
中科院分区：
文献类型：
--
作者：
R. Nicola;M. Hennessy
给定一组过程和一组测试这些过程，我们将展示如何以自然的方式定义三个不同的等价过程。这些等价关系适用于特定的CCS语言。我们给出了相关的完整的证明系统和完全抽象的模型。这些模型用树来表示。
Given a set of processes and a set of tests on these processes we show how to define in a natural way three different equivalences on processes. These equivalences are applied to a particular language CCS. We give associated complete proof systems and fully abstract models. These models have a simple representation in terms of trees.