Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation

Ulrich Fahrenberg

Publikation: Bog/antologi/afhandling/rapportRapportForskning

226 Downloads (Pure)

Abstrakt

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.
OriginalsprogEngelsk
UdgivelsesstedDept. of Mathematical Sciences
ForlagAalborg Universitetsforlag
Antal sider22
StatusUdgivet - 2005
NavnResearch Report Series
NummerR-2005-01
ISSN1399-2503

Emneord

  • bisimulation
  • directed topology

Citationsformater