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.
منابع مشابه
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...
متن کامل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...
متن کاملFrom Concurrency to Algebraic Topology
This paper is a survey of the new notions and results scattered in [13,11,12]. However the speculations of Section 5 and Section 6 are new. Starting from a formalization of higher dimensional automata (HDA) by strict globular ω-categories, the construction of a diagram of simplicial sets over the three-object small category − ← gl → + is exposed. Some of the properties discovered so far on the ...
متن کامل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 catego...
متن کاملCohen-Macaulay-ness in codimension for simplicial complexes and expansion functor
In this paper we show that expansion of a Buchsbaum simplicial complex is $CM_t$, for an optimal integer $tgeq 1$. Also, by imposing extra assumptions on a $CM_t$ simplicial complex, we provethat it can be obtained from a Buchsbaum complex.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 283 شماره
صفحات -
تاریخ انتشار 2012