期刊文献

On the bisimulation proof methodOn the bisimulation proof method 收藏

在互模拟证明methodOn的互模拟证明方法
原文求助
作者
DAVIDE SANGIORGI
页码
447 - 479
来源信息
Mathematical Structures in Computer Science ISSN：0960-1295, 1998年, 8卷, 5期, 447 - 479页
摘要
摘要译文
DAVIDE SANGIORGI. On the bisimulation proof methodOn the bisimulation proof method[J]. Mathematical Structures in Computer Science, 1998,8(5): 447 - 479