Simplicial Models for Trace Spaces Ii: General Higher Dimensional Automata
نویسندگان
چکیده
Higher Dimensional Automata (HDA) are topological models for the study of concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category. The paper generalizes the results from Raussen [19, 18] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.
منابع مشابه
Topological Deformation of Higher Dimensional Automata
A local po-space 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”, lea...
متن کامل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 [Gau99] 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.
متن کاملHigher dimensional automata revisited
The dual of a true concurrency schedule appears to be a false concurrency automaton, a paradox we resolved in a previous paper by extending the latter to higher dimensions. This extension may be formalized via such discrete geometries as n-categories, simplicial complexes, cubical complexes, and Chu spaces. We advocate the last as having a clear notion of event, a well-defined process algebra u...
متن کاملHigher-dimensional Models of Social Networks
In social networks, some communications may involve more than two people. Because they are 1-dimensional, graphs cannot adequately model these situations. While often used, hypergraphs are not the best higherdimensional analog of graphs. They are difficult to visualize and difficult to analyze mathematically, and they do not offer the dynamic quality one needs to model social networks, for exam...
متن کاملOrdinary and directed combinatorial homotopy, applied to image analysis and concurrency
Combinatorial homotopical tools developed in previous works, and consisting essentially of intrinsic homotopy theories for simplicial complexes and directed simplicial complexes, can be applied to explore mathematical models representing images, or directed images, or concurrent processes. An image, represented by a metric space X, can be explored at a variable resolution ǫ > 0, by equipping it...
متن کامل