کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10331425 686693 2005 5 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The decidability border of hereditary history preserving bisimilarity
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
The decidability border of hereditary history preserving bisimilarity
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 93, Issue 6, 31 March 2005, Pages 289-293
نویسندگان
,