خرید و دانلود نسخه کامل کتاب Combinatorics on Traces

توضیحاتی در مورد کتاب



موازی سازی یا همزمانی یکی از مفاهیم اساسی در علوم کامپیوتر است. اما با وجود اهمیت آن، روش‌های نظری برای مدیریت همزمانی هنوز به اندازه کافی توسعه نیافته‌اند. این جلد مطالعه جامعی از نظریه ردیابی Mazurkiewicz از دیدگاه جبری-ترکیبی ارائه می دهد. این نظریه به عنوان یک ابزار مهم برای یک درمان ریاضی دقیق سیستم های همزمان شناخته شده است. این جلد چندین حوزه تحقیقاتی مختلف را پوشش می‌دهد و نه تنها نتایج شناخته شده را در بر می‌گیرد، بلکه شامل نتایج جدید مختلفی است که در هیچ جای دیگری منتشر نشده است. فصل 1 مفاهیم اساسی را معرفی می کند. فصل 2 مسیر مستقیمی را به توصیف اوچمانسکی از زبان‌های ردیابی قابل تشخیص و تئوری Zielonka در مورد خودکارهای ناهمزمان می‌دهد. فصل 3 تئوری آثار را در شبکه های پتری اعمال می کند. نوعی مورفیسم بین شبکه ها معرفی شده است که مفهوم همگام سازی را تعمیم می دهد. فصل 4 یک پل جدید بین تئوری بازنویسی رشته و سری های قدرت رسمی ارائه می دهد. فصل 5 مقدمه ای بر یک نظریه ترکیبی بازنویسی روی ردیابی است که می تواند به عنوان یک حساب انتزاعی برای تبدیل فرآیندهای همزمان استفاده شود.