State spaces and dipaths up to dihomotopy

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 (dipath) in a (locally) partially ordered state space, and dihomotopic 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.

[1]  Eric Goubault,et al.  Detecting Deadlocks in Concurrent Systems , 1996, CONCUR.

[2]  Marco Grandis,et al.  Directed homotopy theory, I , 2003 .

[3]  P. J. Higgins,et al.  Colimit theorems for relative homotopy groups , 1981 .

[4]  P. Gaucher.  Whitehead's Theorem in Homotopy Theory of Concurrency , 2002 .

[5]  S. Lane.  Categories for the Working Mathematician , 1971 .

[6]  Marc Aubry,et al.  Homotopy Theory and Models , 1995 .

[7]  Peter Gabriel,et al.  Calculus of Fractions and Homotopy Theory , 1967 .

[8]  L. Nachbin.  Topology and order , 1965 .

[9]  Edsger W. Dijkstra,et al.  Co-operating sequential processes , 1968 .

[10]  Jeremy Gunawardena,et al.  Homotopy and Concurrency , 2001, Bull. EATCS.

[11]  Paul F. Reynolds,et al.  The geometry of semaphore programs , 1987, TOPL.

[12]  Martin Raußen,et al.  On the classification of dipaths in geometric models for concurrency , 2000, Mathematical Structures in Computer Science.

[13]  Stefan Sokolowski.  Categories of dimaps and their dihomotopies in po-spaces and local po-spaces , 2001, Electron. Notes Theor. Comput. Sci..

[14]  Jean-Pierre Serre,et al.  Homologie Singuliere Des Espaces Fibres , 1951 .

[15]  Lisbeth Fajstrup,et al.  Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint , 2001, Electron. Notes Theor. Comput. Sci..

[16]  P. J. Higgins,et al.  On the algebra of cubes , 1981 .

[17]  L. Fajstrup.  DICOVERING SPACES , 2003 .

[18]  É. Goubault,et al.  Topological deformation of higher dimensional automata , 2001, math/0107060.

[19]  Marco Grandis.  Directed homotopy theory, I. The fundamental category , 2001 .

[20]  Christos H. Papadimitriou,et al.  A Fast Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems , 1981, J. Algorithms.

[21]  Eric Goubault,et al.  Dihomotopy as a Tool in State Space Analysis , 2002, LATIN.

[22]  N. Strickland,et al.  MODEL CATEGORIES (Mathematical Surveys and Monographs 63) , 2000 .

[23]  M. Grandis.  DIRECTED HOMOTOPY THEORY, II. HOMOTOPY CONSTRUCTS , 2002 .