16 citations · 24 across the 5 of their papers we have counts for
5 papers
Non-existing and ill-behaved coequalizers of locally ordered spaces
Pierre-Yves Coursolle, Emmanuel Haucourt
Categories of locally ordered spaces are especially well-adapted to the realization of most precubical sets, though their colimits are not so easy to determine (in comparison with…
The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero
Nicolas Ninin, Emmanuel Haucourt
In this paper we describe a model of concurrency together with an algebraic structure reflecting the parallel composition. For the sake of simplicity we restrict to linear concurre…
Trace Spaces: an Efficient New Technique for State-Space Reduction
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt +2
State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put…
A Geometric Approach to the Problem of Unique Decomposition of Processes
Thibaut Balabonski, Emmanuel Haucourt
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar…
Covering space theory for directed topology
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan
The state space of a machine admits the structure of time. For example, the geometric realization of a precubical set, a generalization of an unlabeled asynchronous transition syst…