کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422965 685158 2006 4 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Timed CSP: A Retrospective
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Timed CSP: A Retrospective
چکیده انگلیسی

We review the development of the process algebra Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments.

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