Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation

Publikation: ForskningRapport

Dokumenter

Vis graf over relationer

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
Udgivelsesdato2005
UdgivelsesstedDept. of Mathematical Sciences
UdgiverAalborg Universitetsforlag
Antal sider22
StatusUdgivet
SerieResearch Report Series
NummerR-2005-01
ISSN (trykt)1399-2503

Emneord

  • bisimulation, directed topology

Download-statistik

Ingen data tilgængelig

ID: 112565