Results 1  10
of
25
SOME GEOMETRIC PERSPECTIVES IN CONCURRENCY THEORY
 HOMOLOGY, HOMOTOPY AND APPLICATIONS, VOL.5(2), 2003, PP.95–136
, 2003
"... Concurrency, i.e., the domain in computer science which deals with parallel (asynchronous) computations, has very strong links with algebraic topology; this is what we are developing in this paper, giving a survey of “geometric” models for concurrency. We show that the properties we want to prove on ..."
Abstract

Cited by 57 (4 self)
 Add to MetaCart
Concurrency, i.e., the domain in computer science which deals with parallel (asynchronous) computations, has very strong links with algebraic topology; this is what we are developing in this paper, giving a survey of “geometric” models for concurrency. We show that the properties we want to prove on concurrent systems are stable under some form of deformation, which is almost homotopy. In fact, as the “direction ” of time matters, we have to allow deformation only as long as we do not reverse the direction of time. This calls for a new homotopy theory: “directed ” or dihomotopy. We develop some of the geometric intuition behind this theory and give some hints about the algebraic objects one can associate with it (in particular homology groups). For some historic as well as for some deeper reasons, the theory is at a stage where there is a nice blend between cubical, ωcategorical and topological techniques.
A model category for the homotopy theory of concurrency
 Homology, Homotopy and Applications
"... Abstract. We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are Shomotopy equivalent. This result provides an interpretation of the notion ..."
Abstract

Cited by 51 (23 self)
 Add to MetaCart
(Show Context)
Abstract. We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are Shomotopy equivalent. This result provides an interpretation of the notion of Shomotopy equivalence in the framework of model
TOPOLOGICAL DEFORMATION OF HIGHER DIMENSIONAL AUTOMATA
 HOMOLOGY, HOMOTOPY AND APPLICATIONS, VOL.5(2), 2003, PP.39–82
, 2003
"... A local pospace is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata (see for instance [6]) which model concurrent systems in computer science. It is known [11] that there are ..."
Abstract

Cited by 51 (26 self)
 Add to MetaCart
(Show Context)
A local pospace is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata (see for instance [6]) which model concurrent systems in computer science. It is known [11] that there are two distinct notions of deformation of higher dimensional automata, “spatial” and “temporal”, leaving invariant computer scientific properties like presence or absence of deadlocks. Unfortunately, the formalization of these notions is still unknown in the general case of local pospaces. We introduce here a particular kind of local pospace, the “globular CWcomplexes”, for which we formalize these notions of deformations and which are sufficient to formalize
On the Expressiveness of higher dimensional automata
 EXPRESS 2004, ENTCS
, 2005
"... Abstract In this paper I compare the expressive power of several models of concurrency based on their ability to represent causal dependence. To this end, I translate these models, in behaviour preserving ways, into the model of higher dimensional automata, which is the most expressive model under i ..."
Abstract

Cited by 29 (0 self)
 Add to MetaCart
Abstract In this paper I compare the expressive power of several models of concurrency based on their ability to represent causal dependence. To this end, I translate these models, in behaviour preserving ways, into the model of higher dimensional automata, which is the most expressive model under investigation. In particular, I propose four different translations of Petri nets, corresponding to the four different computational interpretations of nets found in the literature. I also extend various equivalence relations for concurrent systems to higher dimensional automata. These include the history preserving bisimulation, which is the coarsest equivalence that fully respects branching time, causality and their interplay, as well as the STbisimulation, a branching time respecting equivalence that takes causality into account to the extent that it is expressible by actions overlapping in time. Through their embeddings in higher dimensional automata, it is now welldefined whether members of different models of concurrency are equivalent.
Investigating The Algebraic Structure of Dihomotopy Types
, 2001
"... This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper focuses precisely on detailing some of its aspects. The main ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper focuses precisely on detailing some of its aspects. The main idea is that the category of homotopy types can be embedded in a new category of dihomotopy types, the embedding being realized by the Globe functor. In this latter category, isomorphism classes of objects are exactly higher dimensional automata up to deformations leaving invariant their computer scientific properties as presence or not of deadlocks (or everything similar or related). Some hints to study the algebraic structure of dihomotopy types are given, in particular a rule to decide whether a statement/notion concerning dihomotopy types is or not the lifting of another statement/notion concerning homotopy types. This rule does not enable to guess what is the lifting of a given notion/statement, it only enables to make the verification, once the lifting has been found.
The branching nerve of HDA and the Kan condition
 Theory and Applications of Categories
, 2003
"... One can associate to any strict globular omegacategory three augmented simplicial nerves called the globular nerve, the branching and the merging semicubical nerves. If this strict globular omegacategory is freely generated by a precubical set, then the corresponding homology theories contain dif ..."
Abstract

Cited by 7 (6 self)
 Add to MetaCart
(Show Context)
One can associate to any strict globular omegacategory three augmented simplicial nerves called the globular nerve, the branching and the merging semicubical nerves. If this strict globular omegacategory is freely generated by a precubical set, then the corresponding homology theories contain different informations about the geometry of the higher dimensional automaton modeled by the precubical set. Adding inverses in this omegacategory to any morphism of dimension greater than 2 and with respect to any composition laws of dimension greater than 1 does not change these homology theories. In such a framework, the globular nerve always satisfies the Kan condition. On the other hand, both branching and merging nerves never satisfy it, except in some very particular and uninteresting situations. In this paper, we introduce two new nerves (the branching and merging semiglobular nerves) satisfying the Kan condition and having conjecturally the same simplicial homology as the branching and merging semicubical nerves respectively in such framework. The latter conjecture is related to the thin elements conjecture already introduced in our previous papers.
Thomotopy and refinement of observation. IV. Invariance of the underlying . . .
, 2006
"... ..."
(Show Context)
Thomotopy and refinement of observation. III. Invariance of the branching and merging homologies
, 2006
"... ..."
(Show Context)
Ordinal subdivision and special pasting in quasicategories
"... Quasicategories are simplicial sets with properties generalising those of the nerve of a category. They model weak∞categories. Using a combinatorially defined ordinal subdivision, we examine composition rules for certain special pasting diagrams in quasicategories. The subdivision is of combinatori ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
Quasicategories are simplicial sets with properties generalising those of the nerve of a category. They model weak∞categories. Using a combinatorially defined ordinal subdivision, we examine composition rules for certain special pasting diagrams in quasicategories. The subdivision is of combinatorial interest in its own right and is linked with various combinatorial constructions. 1 Introduction. The most usual method of subdivision for a simplicial complex used in elementary algebraic and geometric topology is the barycentric subdivision. There is however another very well structured subdivision construction encountered from time to time. The basic geometric construction involves chopping up a