کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422974 685158 2006 4 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Process Algebra as Modelling
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Process Algebra as Modelling
چکیده انگلیسی

After 25 years of research (19 personally) into process algebras, I ask what areas of mathematics other than the analysis of concurrent computation could or indeed should its basic approach be applied? In particular, I identify the two areas of reductionism and model comprehension, upon which I believe that process algebra has the potential to have a major impact.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 162, 29 September 2006, Pages 323-326