ترجمه فارسی توضیحات (ترجمه ماشینی)
CONCUR 2008 – Concurrency Theory: نوزدهمین کنفرانس بین المللی، CONCUR 2008، تورنتو، کانادا، 19-22 اوت 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری نوزدهمین کنفرانس بین المللی نظریه همزمانی، CONCUR 2008، برگزار شده در تورنتو، کانادا، 19 تا 22 اوت 2008 است.
33 مقاله کامل اصلاح شده ارائه شده است. همراه با 2 مقاله ابزار به دقت بررسی و از 120 مورد ارسالی انتخاب شد. موضوعات شامل بررسی مدل، محاسبات فرآیند، بررسی کمینه سازی و معادل سازی، انواع، معناشناسی، احتمال، دو شبیه سازی و شبیه سازی، زمان واقعی، و زبان های رسمی است.
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.