### Ulrich Fahrenberg

*Department of Mathematical Sciences,
Aalborg University, Denmark.
*
**Time: Wednesday 9.3.2005, 14:30**

**Place: A4-106, Fredrik Bajersvej 7**

###
Bisimulation for Higher-Dimensional Automata. A geometric interpretation.

We introduce a new notion of bisimulation for higher-dimensional automata and
show that it has a very simple geometric interpretation as a path-lifting
property. We also show that another, weaker notion of bisimulation found in
the literature has a similar geometric interpretation by means of maps which
lift paths up to homotopy. If time permits, we shall also hint on an
application of these ideas in covering space theory.