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.
|Navn||Research Report Series|
- directed topology