带接口的区间偏序多重集的表示
Presenting Interval Pomsets with Interfaces
AI总结：
本文提出一种用离散ipomsets图表示带接口的区间偏序多重集的方法，并证明子sumption由基本关系生成，同时建立高维自动机与ST自动机在语言上的对应关系。
摘要：
带接口的区间序偏序多重集（ipomsets）已被证明是并发系统执行的一个通用模型，其中既需要考虑优先关系又需要考虑并发关系。在本文中，我们发展了一种ipomsets的表示，即由某些离散ipomsets（起始器和终止器）的图在组合后续起始器和后续终止器的关系下生成。利用这种表示，我们证明了子sumption关系也是由基本关系生成的。我们在自动机方面建立了类似的对应关系，将生成ipomsets的高维自动机与生成步序列的ST自动机及其各自的语言联系起来。
英文摘要：
Interval-order partially ordered multisets with interfaces (ipomsets) have shown to be a versatile model for executions of concurrent systems in which both precedence and concurrency need to be taken into account. In this paper, we develop a presentation of ipomsets as generated by a graph of certain discrete ipomsets (starters and terminators) under the relation which composes subsequent starters and subsequent terminators. Using this presentation, we show that also subsumptions are generated by elementary relations. We develop a similar correspondence on the automata side, relating higher-dimensional automata, which generate ipomsets, and ST-automata, which generate step sequences, and their respective languages.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
