图书章节

Bisimulations 收藏

互模拟

原文求助发布源

作者

Colin Stirling[1]

作者单位

[1]Division of InformaticsUniversity of EdinburghEdinburghUK

关键词

Parallel Operator ;Modal Property ;Transition Graph ;Slot Machine ;Winning Strategy

关键词译文

并行算子;模态属性;转换图;老虎机;获胜策略

页码

51-81

DOI

10.1007/978-1-4757-3550-5_3

来源信息

Modal and Temporal Properties of Processes ISBN：9781441931535, 2001年, 51-81页

摘要

Example processes were defined in Chapter 1, and in Chapter 2 modal logics were introduced for expressing their capabilities. An important issue arises when two processes may be deemed to have the same behaviour. Such an abstraction can be presented by defining an appropriate equivalence relation between processes. In this chapter, we focus on equivalences for CCS processes defined in terms of bisimulation relations. However, we present them using games that provide a powerful metaphor for understanding interaction. There is also an intimate relation between modal properties and these equivalences.

摘要译文

示例过程在第1章中定义，第2章介绍了模态逻辑以表达其功能。当两个过程被认为具有相同的行为时，会出现一个重要问题。可以通过在进程之间定义适当的等价关系来呈现这种抽象。在本章中，我们将重点放在根据互模拟关系定义的CCS过程的等价性上。但是，我们使用提供强大隐喻来理解交互的游戏来呈现它们。模态属性与这些等价之间也存在密切关系。

Colin Stirling[1]. Bisimulations. Modal and Temporal Properties of Processes[M].DE: Springer, 2001: 51-81