Topology in process calculus - approximate correctness and infinite evolution of concurrent programs

Topology in process calculus - approximate correctness and infinite evolution of concurrent programs
复制标题

DOI：
--
复制
发表时间：
2001-03
期刊：
--
影响因子：
--
通讯作者：
M. Ying
M. Ying
中科院分区：
其他
文献类型：
--
作者：
M. Ying

文献摘要

被引文献

相似文献

1.引言。2.过程微积分。3.代理的互模拟和跟踪限制。4.限制代理人的行为。5.由闭包定义的近互模拟。6.诱导的互模拟指数7.结论。参考资料。
1.Introduction.- 2.Process Calculus.- 3.Bisimulation and Trace Limits of Agents.- 4.Limit Behavior of Agents.- 5.Near Bisimulations Defined by Closures.- 6.Bisimulation Indexes Induced by Metrics.- 7.Conclusion.- References.