دانلود کتاب Logics for Concurrency: Structure versus Automata (به فارسی: منطق برای همزمانی: ساختار در مقابل خودکار) نوشته شده توسط «Faron Moller – Graham Birtwistle (eds.)»
اطلاعات کتاب منطق برای همزمانی: ساختار در مقابل خودکار
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Faron Moller – Graham Birtwistle (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 268
حجم کتاب: 2 مگابایت
کد کتاب: 3540609156 , 9783540609155
نوبت چاپ: 1
توضیحات کتاب منطق برای همزمانی: ساختار در مقابل خودکار
این کتاب پنج سخنرانی به سبک آموزشی در مورد رویکردهای مختلف به مسئله تأیید سیستمهای توزیع شده ارائه میکند: سه فصل بر روی منطقهای زمانی خطی یا زمانی انشعاب تمرکز دارد. یکی به معادل سازی فرآیند با تاکید بر سیستم های حالت نامحدود می پردازد. و آخرین یک رویکرد جدید طبقه بندی نظری برای راستی آزمایی ارائه می دهد. فرمالیسمهای مختلف برای بیان ویژگیهای سیستمهای همزمان، بر اساس تکنیکهای نظری خودکار یا ویژگیهای ساختاری، به تفصیل مورد مطالعه قرار گرفتهاند.
توجه زیادی به سبک نگارش و پوشش تکمیلی موضوعات مربوطه شده است. بنابراین این یادداشت های سخنرانی برای دوره های پیشرفته منطق برای سیستم های همزمان مناسب هستند. به همان اندازه، خواندن آنها برای هر کسی که در زمینه محاسبات توزیع شده تحقیق می کند ضروری است.
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.
Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
دانلود کتاب «منطق برای همزمانی: ساختار در مقابل خودکار»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.