13 citations · 46 across the 7 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
math.AT2007★ 2 cited
Globular realization and cubical underlying homotopy type of time flow of process algebra
Philippe Gaucher
We construct a small realization as flow of every precubical set (modeling for example a process algebra). The realization is small in the sense that the construction does not make…
math.AT2007
Abstract homotopical methods for theoretical computer science
Philippe Gaucher
The purpose of this paper is to collect the homotopical methods used in the development of the theory of flows initialized by author's paper ``A model category for the homotopy the…