Homotopy Invariants of Multiple Categories and Concurrency in Computer Science (1999)
by
Philippe Gaucher
BibTeX
@MISC{Gaucher99homotopyinvariants,
author = {Philippe Gaucher},
title = {Homotopy Invariants of Multiple Categories and Concurrency in Computer Science},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper is to build several homology theories which are strongly related with the geometric properties of these paths. Concurrent machines can be formalized using cubical complexes (definition (2.1.1)) : the main idea is that a n-cube represents the simultaneous execution of n 1-transitions (Pratt, 1991). For example, take the following automaton :
