Abstract
We introduce a new notion of directed homology for semicubical sets. We show that it respects directed homotopy and is functorial, and that it appears to enjoy some good algebraic properties. Our work has applications to higher-dimensional automata.
Originalsprog | Engelsk |
---|---|
Titel | CONCUR 2003 : CMCIM and GETCO |
Redaktører | T. Hildebrandt, A. Kurz, E. Goubault, U. Fahrenberg |
Publikationsdato | 2004 |
Sider | 111-125 |
DOI | |
Status | Udgivet - 2004 |
Begivenhed | Directed homology - Varighed: 19 maj 2010 → … |
Konference
Konference | Directed homology |
---|---|
Periode | 19/05/2010 → … |