配置结构的扩展
Extensions of Configuration Structures
摘要：
本文定义了ST-结构（以及它们的扩展，称为STC-结构）。主要目的是提供具体的关系，高度表达的并发模型来自两个不同的思想流派：高维自动机，\textit{state-based}方法的普拉特和范Glabbeek;和配置结构和（内）纯事件结构，一个\textit{event-based}方法的范Glabbeek和Plotkin。在这方面，我们做了比较研究的ST结构的表达能力相对于上述模型。此外，从其他并发模型的标准概念定义的ST（C）-结构，如步骤和路径，双相似性，动作细化，并给出相关的结果。ST（C）-结构的这些研究旨在提供对Pratt描述的\textit{state-event duality}以及高维自动机的（a）循环结构的更好理解。
英文摘要：
The present paper defines ST-structures (and an extension of these, called STC-structures). The main purpose is to provide concrete relationships between highly expressive concurrency models coming from two different schools of thought: the higher dimensional automata, a \textit{state-based} approach of Pratt and van Glabbeek; and the configuration structures and (in)pure event structures, an \textit{event-based} approach of van Glabbeek and Plotkin. In this respect we make comparative studies of the expressive power of ST-structures relative to the above models. Moreover, standard notions from other concurrency models are defined for ST(C)-structures, like steps and paths, bisimilarities, and action refinement, and related results are given. These investigations of ST(C)-structures are intended to provide a better understanding of the \textit{state-event duality} described by Pratt, and also of the (a)cyclic structures of higher dimensional automata.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
