Weak morphisms of higher dimensional automata

被引：3

作者：

Kahl, Thomas ^{[1
]}

机构：

[1] Univ Minho, Ctr Matemat, P-4710057 Braga, Portugal

来源：

THEORETICAL COMPUTER SCIENCE | 2014年 / 536卷

关键词：

Higher dimensional automata; Precubical set; Geometric realisation; Trace language; Preorder relation; Abstraction; COMPONENTS; HOMOTOPY;

D O I：

10.1016/j.tcs.2014.02.028

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce weak morphisms of higher dimensional automata and use them to define preorder relations for HDAs, among which are homeomorphic abstraction and trace equivalent abstraction. It is shown that homeomorphic abstraction is essentially always stronger than trace equivalent abstraction. We also define the trace language of an HDA and show that, for a large class of HDAs, it is invariant under trace equivalent abstraction. (C) 2014 Elsevier B.V. All rights reserved.

引用

页码：42 / 61

页数：20

共 50 条

[21] Execution spaces for simple higher dimensional automata
Raussen, Martin
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2012, 23 (1-2) : 59 - 84
[22] HERMITIAN STRUCTURES AND HARMONIC MORPHISMS IN HIGHER-DIMENSIONAL EUCLIDEAN SPACES
BAIRD, P
WOOD, JC
INTERNATIONAL JOURNAL OF MATHEMATICS, 1995, 6 (02) : 161 - 192
[23] Higher-dimensional weak amenability
Johnson, BE
STUDIA MATHEMATICA, 1997, 123 (02) : 117 - 134
[24] Closure and Decision Properties for Higher-Dimensional Automata
Amrane, Amazigh
Bazille, Hugo
Fahrenberg, Uli
Ziemianski, Krzysztof
THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 295 - 312
[25] Strictifying and taming directed paths in Higher Dimensional Automata
Raussen, Martin
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2021, 31 (02) : 193 - 213
[26] Open Maps Bisimulations for Higher Dimensional Automata Models
Oshevskaya, Elena S.
FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2009, 5699 : 274 - 286
[27] Closure and decision properties for higher-dimensional automata
Amrane, Amazigh
Bazille, Hugo
Fahrenberg, Uli
Ziemianski, Krzysztof
THEORETICAL COMPUTER SCIENCE, 2025, 1036
[28] Irrationality of Process Replication for Higher-Dimensional Automata
Baronner, Thomas
Basold, Henning
Hablicsek, Marton
RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2024, 2024, 14787 : 46 - 64
[29] Petri nets, configuration structures and higher dimensional automata
van Glabbeek, RJ
CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 21 - 27
[30] TOPOLOGICAL AUTOMATA WITH QUASI-POWER MORPHISMS
ROBBIE, DA
PIACUN, NM
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (01): : A247 - &

← 1 2 3 4 5 →