Full Abstraction for Fair Testing in CCS

Full Abstraction for Fair Testing in CCS
复制标题

CCS 中公平测试的完全抽象

DOI：
--
复制
发表时间：
2013
期刊：
Conference on Algebra and Coalgebra in Computer Science
影响因子：
--
通讯作者：
T. Hirschowitz
T. Hirschowitz
中科院分区：
--
文献类型：
--
作者：
T. Hirschowitz

文献摘要

被引文献

相似文献

在以前的工作与Pous，我们定义了一个语义CCS既可以被看作是一个无辜的预层语义和并发游戏语义。它在这里证明，行为等价诱导的CCS过程中，这种语义是完全抽象的公平测试等价。
In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully abstract for fair testing equivalence.