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 条
12345