Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation
Publikation: Forskning › Rapport
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.
| Originalsprog | Engelsk |
|---|---|
| Udgivelsesdato | 2005 |
| Udgivelsessted | Dept. of Mathematical Sciences |
|---|---|
| Udgiver | Aalborg Universitetsforlag |
| Antal sider | 22 |
| Status | Udgivet |
| Serie | Research Report Series |
|---|---|
| Nummer | R-2005-01 |
| ISSN (trykt) | 1399-2503 |
Emneord
- bisimulation, directed topology
Download-statistik
Ingen data tilgængelig
ID: 112565