Global Timed Bisimulation: An Introduction
Global Timed Bisimulation: An Introduction
复制标题
全局定时双向模拟：简介
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
M. Núñez
中科院分区：
文献类型：
--
作者：
David de Frutos;Natalia López;M. Núñez
互模拟是一种被广泛使用的定义进程代数语义的形式主义。特别地，通过弱互模拟，进程的大部分内部活动可以被抽象。不幸的是，这并没有完全实现：例如，内部选择算子变得非关联，因为互模拟可以看到进程的分支结构。在本文中，我们提出了全球时间互模拟弱时间互模拟的削弱。当普通变迁被适当的广义变迁所取代时，全局时间互模拟被精确地定义为弱时间互模拟。为了评估我们的全球定时互模拟的定义，我们提出了一个小的例子，说明该定义的每个条款的集合。最后，一个更详细的例子来总结这一概念的主要属性。
Bisimulations are a broadly used formalism to define the semantics of process algebras. In particular, by means of weak bisimulation most of the internal activity of processes may be abstracted. Unfortunately, this is not fully accomplished: for instance, the internal choice operator becomes non-associative since bisimulation can see the branching structure of processes. In this paper we propose global timed bisimulation as a weakening of weak timed bisimulation. Global timed bisimulation is defined exactly as weak timed bisimulation once ordinary transitions are replaced by the adequate notions of generalized transitions. In order to asses the definition of our global timed bisimulation we present a collection of small examples that illustrate each of the clauses of that definition. Finally, a more elaborated example is presented to summarize the main properties of that notion.