کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328897 685218 2005 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 128, Issue 2, 14 April 2005, Pages 151-168
نویسندگان
, ,