@book{db7080809a2d11dab409000ea68e967b,
title = "Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation",
abstract = "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.",
keywords = "bisimulation, directed topology, bisimulation, directed topology, Higher-dimensional automata, Bisimulation, Directed topology",
author = "Ulrich Fahrenberg",
year = "2005",
language = "English",
series = "Research Report Series",
number = "R-2005-01",
publisher = "Aalborg Universitetsforlag",
}