Abstract
The work is intended to provide some insight about concurrency theory using ideas from geometry and algebraic topology. We define a topological space containing all traces of execution of the computer program and the information about how time flows. This is the main difference with standard topological reasoning in which there is no information about relation "in time" among points. The main task is to define equivalence of paths reflecting execution of a program. We use the notion of homotopy history equivalence relation. The model space considered in this work is a differentiable manifold with piecewise-smooth boundary. Our aim is to identify the equivalence classes with the critical points of a certain Morse function.
Original language | Danish |
---|---|
Title of host publication | Geometry in Nonlinear Control, The Mathematical Research and Conference Center, Bedlewo, Poland 16 -20 June 2003 |
Publication date | 2003 |
Publication status | Published - 2003 |
Event | Morse Theory and Concurrency - Duration: 19 May 2010 → … |
Conference
Conference | Morse Theory and Concurrency |
---|---|
Period | 19/05/2010 → … |