725 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
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
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
Relative directed homotopy theory of partially ordered spaces
Algebraic topological methods have been used successfully in concurrency
theory, the domain of theoretical computer science that deals with distributed
computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially
ordered spaces (pospaces) as a model for concurrent systems. In this paper it
is shown that the category of pospaces under a fixed pospace is both a
fibration and a cofibration category in the sense of H. Baues. The homotopy
notion in this fibration and cofibration category is relative directed
homotopy. It is also shown that the category of pospaces is a closed model
category such that the homotopy notion is directed homotopy.Comment: 20 page
Simplicial models for concurrency
We model both concurrent programs and the possible executions from one state
to another in a concurrent program using simplices. The latter are calculated
using necklaces of simplices in the former.Comment: 12 pages, Section 4 from v1 omitted since quasi-category equivalences
are too strong: they induce equivalences of path categorie
Higher Dimensional Transition Systems
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional transition. We show an embedding of the category of higher dimensional transition systems into that of higher dimensional automata which cuts down to an equivalence when we restrict to non-degenerate automata. Moreover, we prove that the natural notion of bisimulation for such structures is a generalisation of the strong history preserving bisimulation, and provide an abstract categorical account of it via open maps. Finally, we define a notion of unfolding for higher dimensional transition systems and characterise the structures so obtained as a generalisation of event structures
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
- âŠ