AbstractL. Fajstrup, E. Goubault, and M. Raussen have introduced local pospaces as a model for concurrent systems. In this paper it is shown that the category of local pospaces under a fixed local pospace is a fibration category in the sense of H. Baues. The homotopy notion in this fibration category is relative directed homotopy
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often...
Concurrency ie the domain in computer science which deals with parallel asynchronous computations...
International audienceWe construct a cofibrantly generated model structure on the category of flows ...
L. Fajstrup, E. Goubault, and M. Raussen have introduced local pospaces as a model for concurrent sy...
Algebraic topological methods have been used successfully in concurrency theory, the domain of theo...
AbstractWe show in this article that some concepts from homotopy theory, in algebraic topology, are ...
Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We prov...
AbstractThis report1 1This research was supported by a 3-week visiting fellowship from the Unive...
We show in this article that some concepts from homotopy theory, in algebraic topology,are relevant ...
International audienceWe show in this article that some concepts from homotopy theory, in algebraic ...
AbstractThe state spaces of machines admit the structure of time. A homotopy theory respecting this ...
AbstractThe global states of complex systems often form pospaces, topological spaces equipped with c...
AbstractThis paper is a survey of the new notions and results scattered in [13,11,12]. However the s...
International audienceConcurrency, i.e., the domain in computer science which deals with parallel (a...
AbstractIt has repeatedly been argued that the semi-cubical complexes3 3The italicized technical...
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often...
Concurrency ie the domain in computer science which deals with parallel asynchronous computations...
International audienceWe construct a cofibrantly generated model structure on the category of flows ...
L. Fajstrup, E. Goubault, and M. Raussen have introduced local pospaces as a model for concurrent sy...
Algebraic topological methods have been used successfully in concurrency theory, the domain of theo...
AbstractWe show in this article that some concepts from homotopy theory, in algebraic topology, are ...
Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We prov...
AbstractThis report1 1This research was supported by a 3-week visiting fellowship from the Unive...
We show in this article that some concepts from homotopy theory, in algebraic topology,are relevant ...
International audienceWe show in this article that some concepts from homotopy theory, in algebraic ...
AbstractThe state spaces of machines admit the structure of time. A homotopy theory respecting this ...
AbstractThe global states of complex systems often form pospaces, topological spaces equipped with c...
AbstractThis paper is a survey of the new notions and results scattered in [13,11,12]. However the s...
International audienceConcurrency, i.e., the domain in computer science which deals with parallel (a...
AbstractIt has repeatedly been argued that the semi-cubical complexes3 3The italicized technical...
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often...
Concurrency ie the domain in computer science which deals with parallel asynchronous computations...
International audienceWe construct a cofibrantly generated model structure on the category of flows ...
DOI
Add to ORKG