Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation
Publication: Research › Report
Standard
Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation. / Fahrenberg, Ulrich.
Dept. of Mathematical Sciences : Aalborg Universitetsforlag, 2005. 22 p. (Research Report Series; No. R-2005-01).Publication: Research › Report
Harvard
APA
CBE
MLA
Vancouver
Author
Bibtex
}
RIS
TY - RPRT
T1 - Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation
A1 - Fahrenberg,Ulrich
AU - Fahrenberg,Ulrich
PB - Aalborg Universitetsforlag
PY - 2005
Y1 - 2005
N2 - We show how parallel compostition of higher-dimensional automata (HDA) can be expressed categorically in the spirit of Winskel & Nielsen. Employing the notion of computation path introduced by van Glabbeek, we define a new notion of bisimulation of HDA using open maps. We derive a connection between computation paths and carrier sequences of dipaths and show that bisimilarity of HDA can be decided by the use of geometric techniques.
AB - We show how parallel compostition of higher-dimensional automata (HDA) can be expressed categorically in the spirit of Winskel & Nielsen. Employing the notion of computation path introduced by van Glabbeek, we define a new notion of bisimulation of HDA using open maps. We derive a connection between computation paths and carrier sequences of dipaths and show that bisimilarity of HDA can be decided by the use of geometric techniques.
KW - bisimulation
KW - directed topology
KW - bisimulation
KW - directed topology
KW - Higher-dimensional automata
KW - Bisimulation
KW - Directed topology
BT - Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation
T3 - Research Report Series
T3 - en_GB
ER -