AI 中文总结
该研究针对高维自动机，提出介于ST与hhp互模拟间的新中间等价关系，构建了刻画hhp互模拟的模态逻辑，其片段可刻画ST互模拟及中间概念。
AI 中文摘要
高维自动机（HDA）提供了真并发的几何模型。遗传历史保持（hhp）互模拟是van Glabbeek谱系中最精细的行为等价，但此前尚无模态逻辑在HDA上对其进行刻画。我们引入若干介于ST互模拟与hhp互模拟之间的新中间等价关系，说明分离相似性与路径包含如何为这些等价关系提供清晰表述，并提出一种刻画hhp互模拟的模态逻辑，其自然片段可刻画ST互模拟及中间概念。
英文摘要
Higher-Dimensional Automata (HDAs) provide a geometric model of true concurrency. While hereditary history-preserving (hhp) bisimilarity is the finest behavioural equivalence in van Glabbeek's spectrum, no modal logic has previously characterised it on HDAs. We introduce several new intermediate equivalences that sit strictly between ST- and hhp-bisimilarity. We show how separating similarity and subsumption of paths leads to a clean formulation of these equivalences, and we present a modal logic that characterises hhp-bisimilarity. Natural fragments characterise ST-bisimilarity and the intermediate notions.
Journal refIn Proc. CONCUR 2026
DOI：10.4230/LIPIcs.CONCUR.2026.49
