36 research outputs found
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
The homotopy branching space of a flow
In this talk, I will explain the importance of the homotopy branching space
functor (and of the homotopy merging space functor) in dihomotopy theory. The
paper is a detailed abstract of math.AT/0304112 and math.AT/0305169.Comment: Expository paper ; 11 pages ; to appear in GETCO'03 proceedin
About the globular homology of higher dimensional automata
We introduce a new simplicial nerve of higher dimensional automata whose
homology groups yield a new definition of the globular homology. With this new
definition, the drawbacks noticed with the construction of math.CT/9902151
disappear. Moreover the important morphisms which associate to every globe its
corresponding branching area and merging area of execution paths become
morphisms of simplicial sets.Comment: 44 pages ; LaTeX2e, 1 figure ; final version to appear in CTGD
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
On the Expressiveness of Higher Dimensional Automata: (Extended 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 ST-bisimulation, 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 well-defined whether members of different models of concurrency are equivalent
On the expressiveness of higher dimensional automata
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 (HDA), 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 HDA. These include the history preserving bisimulation, which is the coarsest equivalence that fully respects branching time, causality and their interplay, as well as the ST-bisimulation, 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 HDA, it is now well-defined whether members of different models of concurrency are equivalent. (c) 2006 Elsevier B.V. All rights reserved
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science