159 research outputs found
Homotopy Bisimilarity for Higher-Dimensional Automata
We introduce a new category of higher-dimensional automata in which the
morphisms are functional homotopy simulations, i.e. functional simulations up
to concurrency of independent events. For this, we use unfoldings of
higher-dimensional automata into higher-dimensional trees. Using a notion of
open maps in this category, we define homotopy bisimilarity. We show that
homotopy bisimilarity is equivalent to a straight-forward generalization of
standard bisimilarity to higher dimensions, and that it is finer than split
bisimilarity and incomparable with history-preserving bisimilarity.Comment: Heavily revised version of arXiv:1209.492
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
We show that history-preserving bisimilarity for higher-dimensional automata
has a simple characterization directly in terms of higher-dimensional
transitions. This implies that it is decidable for finite higher-dimensional
automata. To arrive at our characterization, we apply the open-maps framework
of Joyal, Nielsen and Winskel in the category of unfoldings of precubical sets.Comment: Minor updates in accordance with reviewer comments. Submitted to MFPS
201
Inverting weak dihomotopy equivalence using homotopy continuous flow
A flow is homotopy continuous if it is indefinitely divisible up to
S-homotopy. The full subcategory of cofibrant homotopy continuous flows has
nice features. Not only it is big enough to contain all dihomotopy types, but
also a morphism between them is a weak dihomotopy equivalence if and only if it
is invertible up to dihomotopy. Thus, the category of cofibrant homotopy
continuous flows provides an implementation of Whitehead's theorem for the full
dihomotopy relation, and not only for S-homotopy as in previous works of the
author. This fact is not the consequence of the existence of a model structure
on the category of flows because it is known that there does not exist any
model structure on it whose weak equivalences are exactly the weak dihomotopy
equivalences. This fact is an application of a general result for the
localization of a model category with respect to a weak factorization system.Comment: 22 pages; LaTeX2e ; v2 : corrected bibliography + improvement of the
statement of the main theorems ; v3 final version published in
http://www.tac.mta.ca/tac
Investigating The Algebraic Structure of Dihomotopy Types
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.Comment: 28 pages ; LaTeX2e + 4 figures ; Expository paper ; Minor typos
corrections ; To appear in GETCO'01 proceeding
Towards a homotopy theory of process algebra
This paper proves that labelled flows are expressive enough to contain all
process algebras which are a standard model for concurrency. More precisely, we
construct the space of execution paths and of higher dimensional homotopies
between them for every process name of every process algebra with any
synchronization algebra using a notion of labelled flow. This interpretation of
process algebra satisfies the paradigm of higher dimensional automata (HDA):
one non-degenerate full -dimensional cube (no more no less) in the
underlying space of the time flow corresponding to the concurrent execution of
actions. This result will enable us in future papers to develop a
homotopical approach of process algebras. Indeed, several homological
constructions related to the causal structure of time flow are possible only in
the framework of flows.Comment: 33 pages ; LaTeX2e ; 1 eps figure ; package semantics included ; v2
HDA paradigm clearly stated and simplification in a homotopical argument ; v3
"bug" fixed in notion of non-twisted shell + several redactional improvements
; v4 minor correction : the set of labels must not be ordered ; published at
http://intlpress.com/HHA/v10/n1/a16
A model category for the homotopy theory of concurrency
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 S-homotopy
equivalent. This result provides an interpretation of the notion of S-homotopy
equivalence in the framework of model categories.Comment: 45 pages ; 4 figure ; First paper corresponding to the content of
math.AT/0201252 ; final versio
Reparametrizations of Continuous Paths
A reparametrization (of a continuous path) is given by a surjective weakly
increasing self-map of the unit interval. We show that the monoid of
reparametrizations (with respect to compositions) can be understood via
``stop-maps'' that allow to investigate compositions and factorizations, and we
compare it to the distributive lattice of countable subsets of the unit
interval. The results obtained are used to analyse the space of traces in a
topological space, i.e., the space of continuous paths up to reparametrization
equivalence. This space is shown to be homeomorphic to the space of regular
paths (without stops) up to increasing reparametrizations. Directed versions of
the results are important in directed homotopy theory
- …