الوصف
Reachability for finite state systems.- Rewriting systems, reachability analysis in counter/timed/cellular/communicating automata.- Petri-nets.- Computational aspects of semigroups, groups and rings.- Reachability in dynamical and hybrid systems.- Frontiers between decidable and undecidable reachability problems.- Complexity and decidability aspects, predictability in iterative maps and new computational paradigms.
تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
235 صفحات
لغة
الإنجليزية
منشور
Sep 13, 2013
الناشر
Springer
رقم ISBN-10
3642410359
رقم ISBN-13
9783642410352