Extensional equivalences for transition systems
Extensional equivalences for transition systems
复制标题
过渡系统的可拓等价
DOI：
10.1007/bf00264365
复制
发表时间：
1987
期刊：
影响因子：
0.6
通讯作者：
R. Nicola
中科院分区：
文献类型：
--
作者：
R. Nicola
总结各种概念的系统等效的基础上的反应系统从外部世界的刺激提出和比较。这些概念已经在文献中提出，允许抽象的并发和通信系统的模型中不需要的细节。等价物，已经定义了不同的理论的并发性，将通过调整他们的定义，标记的过渡系统，一个模型的基础上，许多其他的比较。在每一个等价的介绍中，被忽略的系统行为的方面和被强迫的认同将被强调。它将表明，许多等价，虽然定义非常不同的以下不同的直觉系统的行为，原来是相同的或不同的只是在微小的细节为一大类的过渡系统。
SummaryVarious notions of systems equivalence based on the reactions of systems to stimuli from the outside world are presented and compared. These notions have been proposed in the literature to allow abstraction from unwanted details in models of concurrent and communicating systems. The equivalences, already defined for different theories of concurrency, will be compared by adapting their definitions to labelled transition systems, a model which underlies many others. In the presentation of each equivalence, the aspects of system behaviours which are ignored and the identifications which are forced will be stressed. It will be shown that many equivalences, although defined very differently by following different intuitions about systems behaviour, turn out to be the same or to differ only in minor detail for a large class of transition systems.