EMIS/ELibM Electronic Journals

Outdated Archival Version

These pages are not updated anymore. They reflect the state of 22 June 2005. For the current production of this journal, please refer to http://intlpress.com/HHA/.


State spaces and dipaths up to dihomotopy

State spaces and dipaths up to dihomotopy

Martin Raussen

Geometric models have been used by several authors to describe the behaviour of concurrent sytems in computer science. A concurrent computation corresponds to an oriented path (\emph{dipath}) in a (locally) partially ordered state space, and \emph{di}homotopic dipaths correspond to equivalent computations. This paper studies several invariants of the state space in the spirit of those of algebraic topology, but taking partial orders into account as an important part of the structure. We use several categories of fractions of the fundamental category of the state space and define and investigate the related quotient categories of ``components''. For concurrency applications, the resulting categories can be interpreted as a dramatic reduction of the size of the state space to be considered.


Homology, Homotopy and Applications, Vol. 5(2003), No. 2, pp. 257-280

http://www.rmi.acnet.ge/hha/volumes/2003/n2a9/v5n2a9.dvi (ps, dvi.gz, ps.gz, pdf)
ftp://ftp.rmi.acnet.ge/pub/hha/volumes/2003/n2a9/v5n2a9.dvi (ps, dvi.gz, ps.gz, pdf)