Concurrent Process up to Homotopy (I)
Philippe Gaucher
Abstract
Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the presence or not of deadlock. One constructs an embedding from globular CW-complexes to flows and one proves that two globular CW-complexes are dihomotopic if and only if the corresponding flows are dihomotopic. This note is the first one presenting some of the results of math.AT/0201252.
Create a lesson
Related papers
Representation stability of string links and manifold links
Filipp Buryak
New families of moment-angle manifolds diffeomorphic to connected sums of products of spheres
Victoria Kovyrshina, Taras Panov
HZ/4 is not an E2-Thom Spectrum over the 2-Complete Sphere Spectrum
Mattie Ji
Condensed Brown Comenetz Duality
Roey Hel-Or, Amos Kaminski
Affine Fixed Points on Flat Manifold Pairs
Aaron Reite
An Equivariant Landweber Exact Functor Theorem for Abelian Compact Lie Groups
Yingxin Li