کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875939 | 689595 | 2016 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Topological abstraction of higher-dimensional automata
ترجمه فارسی عنوان
انتزاع توپولوژیکی از اتوماتای بالاتر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
اتوماتای بزرگ بعدی، انتزاع توپولوژیک، دسته بندی ردیابی، گراف همگرا، سقوط مکعب،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss “topological abstraction” of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 631, 6 June 2016, Pages 97-117
Journal: Theoretical Computer Science - Volume 631, 6 June 2016, Pages 97-117
نویسندگان
Thomas Kahl,