Globular realization and cubical underlying homotopy type of time flow of process algebra.
Gaucher, Philippe (2008)
The New York Journal of Mathematics [electronic only]
Similarity:
Displaying similar documents to “Comparing globular complex and flow.”
Globular realization and cubical underlying homotopy type of time flow of process algebra.
-homotopy and refinement of observation. II: Adding new -homotopy equivalences.
Gaucher, Philippe (2007)
International Journal of Mathematics and Mathematical Sciences
Similarity:
T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies.
Gaucher, Philippe (2006)
The New York Journal of Mathematics [electronic only]
Similarity:
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type.
Gaucher, Philippe (2006)
The New York Journal of Mathematics [electronic only]
Similarity:
A model category for the homotopy theory of concurrency.
Gaucher, Philippe (2003)
Homology, Homotopy and Applications
Similarity:
Inverting weak dihomotopy equivalence using homotopy continuous flow.
Gaucher, Philippe (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Homological properties of non-deterministic branchings of mergings in higher dimensional automata.
Gaucher, Philippe (2005)
Homology, Homotopy and Applications
Similarity:
Coherent prohomotopy theory
Timothy Porter (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A suspension theorem for the proper homotopy and strong shape theories
C. Elvira-Donazar, L. J. Hernandez-Paricio (1995)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Directed homotopy theory, II. Homotopy constructs.
Grandis, Marco (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Some relations between shape constructions
Friedrich W. Bauer (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: