کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422206 685043 2009 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Fibration Category of Local Pospaces
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Fibration Category of Local Pospaces
چکیده انگلیسی

L. Fajstrup, E. Goubault, and M. Raussen have introduced local pospaces as a model for concurrent systems. In this paper it is shown that the category of local pospaces under a fixed local pospace is a fibration category in the sense of H. Baues. The homotopy notion in this fibration category is relative directed homotopy.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 230, 24 March 2009, Pages 129-140