Title : Concurrent Process Up to Homotopy : Presentation of the Globular Approach Comment : html presentation Remark : Do not try to reach the url directly from my home page : it is not yet modified. Url : http://www-irma.u-strasbg.fr/~gaucher/presentation_glob/ Abstract: A concurrent machine is a computer where several tasks can be performed at the same time. This can be a true parallelism like in the case of several processors running concurrently, or also the particular case of a mono-processor UNIX machine where a unique CPU is sharing its calculation time between several different tasks. I present here the geometric model of concurrent processes I am working with. This geometric model allows to formalize very precisely the notion of dihomotopy. Two concurrent processes (i.e. the corresponding geometric models) are said dihomotopic when they can be geometrically deformed to each other without changing their computer-scientific properties. The purpose of this text is not to be technical, but only to explain how some algebraic constraints have led me to introducing the constructions I am working with. 24-May-2002 09:16:32 -0300,3129;000000000000-00000000