关于收敛敏感互模拟及 CCS 到定时 CCS 的嵌入
计算机科学中的逻辑
2010-07-01 v2
摘要
我们提出了一种收敛敏感互模拟的概念，该概念仅建立在（内部）归约和（静态）上下文的概念之上。在定时 CCS 框架内，我们通过标准的标记转换系统刻画了这种“上下文”互模拟概念。我们还指出，它为无定时过程到定时过程的全抽象嵌入提供了合适的语义框架。最后，我们展示了该概念可以被细化以包含对发散的敏感性。
引用
@article{arxiv.0806.0936,
title = {On convergence-sensitive bisimulation and the embedding of CCS in timed CCS},
author = {Roberto Amadio},
journal= {arXiv preprint arXiv:0806.0936},
year = {2010}
}