تقرير
On the topology of concurrent systems
| العنوان: | On the topology of concurrent systems |
|---|---|
| المؤلفون: | Faustino, Catarina, Kahl, Thomas, Lopes, Rodrigo |
| سنة النشر: | 2024 |
| المجموعة: | Computer Science Mathematics |
| مصطلحات موضوعية: | Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Mathematics - Algebraic Topology, 55U10, 68Q85, 05E45 |
| الوصف: | Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable system such that the higher-dimensional automaton modeling the state space of the system has the homotopy type of the polyhedron. Comment: 24 pages |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2404.16492 |
| رقم الأكسشن: | edsarx.2404.16492 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |