Topological deformation of higher dimensional automata

@misc{citeulike:1059801, abstract = {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 (see for instance [FGR99]) which model concurrent systems in computer science. It is known [Gau00b] 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....}, author = {Gaucher, P. and Goubault, E. }, citeulike-article-id = {1059801}, keywords = {defect, deformation, gravity, hda, topological}, posted-at = {2007-01-22 13:50:32}, priority = {2}, title = {Topological deformation of higher dimensional automata}, url = {http://citeseer.ist.psu.edu/gaucher01topological.html}, year = {2001} }

TY - GEN ID - citeulike:1059801 L3 - citeulike-article-id:1059801 TI - Topological deformation of higher dimensional automata N2 - 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 (see for instance [FGR99]) which model concurrent systems in computer science. It is known [Gau00b] 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.... KW - defect KW - deformation KW - gravity KW - hda KW - topological AU - Gaucher, P AU - Goubault, E PY - 2001/// UR - http://citeseer.ist.psu.edu/gaucher01topological.html ER -