Mathematics – Algebraic Topology
Scientific paper
2001-07-08
Homology Homotopy and Applications,vol. 5 (2):p.39-82, 2003
Mathematics
Algebraic Topology
43 pages ; LaTeX2e ; 12 postscript figures ; final version to appear in Homology, Homotopy and Applications
Scientific paper
A local po-space is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata which model concurrent systems in computer science. It is known that there are two distinct notions of deformation of higher dimensional automata, ``spatial'' and ``temporal'', leaving invariant computer scientific properties like presence or absence of deadlocks. Unfortunately, the formalization of these notions is still unknown in the general case of local po-spaces. We introduce here a particular kind of local po-space, the ``globular CW-complexes'', for which we formalize these notions of deformations and which are sufficient to formalize higher dimensional automata. After localizing the category of globular CW-complexes by spatial and temporal deformations, we get a category (the category of dihomotopy types) whose objects up to isomorphism represent exactly the higher dimensional automata up to deformation. Thus globular CW-complexes provide a rigorous mathematical foundation to study from an algebraic topology point of view higher dimensional automata and concurrent computations.
Gaucher Philippe
Goubault Eric
No associations
LandOfFree
Topological Deformation of Higher Dimensional Automata does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Topological Deformation of Higher Dimensional Automata, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Topological Deformation of Higher Dimensional Automata will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-362621