دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Truly Concurrent Process Algebra With Localities
دانلود کتاب واقعاً همزمان فرآیند همزمان با محلی
مشخصات کتاب
Truly Concurrent Process Algebra With Localities
ویرایش: [1 ed.]
نویسندگان: Yong Wang Ph.D.
سری:
ISBN (شابک) : 0443330689, 9780443330681
ناشر: Morgan Kaufmann
سال نشر: 2024
تعداد صفحات: 474
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 14 Mb
قیمت کتاب (تومان) : 74,000
در صورت تبدیل فایل کتاب Truly Concurrent Process Algebra With Localities به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب واقعاً همزمان فرآیند همزمان با محلی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب واقعاً همزمان فرآیند همزمان با محلی
واقعاً همزمان فرآیند همزمان با محلی ها محلی ها را در
جبر فرآیند واقعاً همزمان معرفی می کند. این کتاب به بررسی تمام
جنبه های محلی در جبر فرآیند واقعاً همزمان ، مانند حساب برای
همزمانی واقعی (CTC) ، که کلی سازی CCS برای همزمانی واقعی ، جبر
موازی برای همزمانی واقعی (APTC) است ، که تعمیم ACP برای همزمانی
واقعی است ، و؟ حساب برای همزمانی واقعی (؟). با هم ، این
رویکردها همزمانی به اصطلاح واقعی را بر اساس دوقلوهای واقعاً
همزمان ، مانند pomset bisimarility ، قدمت بیسیماریت ، تاریخچه ،
حفظ تاریخ (HP-) و تاریخچه ارثی (HHP-) bisimilarity ، به دست می
آورند. محاسبه برای مناطق استاتیک ، اکسیداتیکاسیون برای مناطق
استاتیک ، و همچنین محاسبه برای محلی های پویا و اکسیداتیزاسیون
برای محلی های پویا. نظریه جبر برای مناطق استاتیک و مناطق پویا ،
از جمله اساس معناشناسی ، محاسبه و اکسیداتیکاسیون
- تمام جنبه های محلی را در جبر فرآیند واقعاً همزمان ، از جمله محاسبه واقعی (CTC) ، Allbra Trencrancy ، Aptgebra برای موازی سازی (Aptgebra) ارائه می دهد. (؟)
توضیحاتی درمورد کتاب به خارجی
Truly Concurrent Process Algebra with Localities
introduces localities into truly concurrent process
algebras. The book explores all aspects of localities in truly
concurrent process algebras, such as Calculus for True
Concurrency (CTC), which is a generalization of CCS for true
concurrency, Algebra of Parallelism for True Concurrency
(APTC), which is a generalization of ACP for true concurrency,
and ? Calculus for True Concurrency (?). Together, these
approaches capture the so-called true concurrency based on
truly concurrent bisimilarities, such as pomset bisimilarity,
step bisimilarity, history-preserving (hp-) bisimilarity and
hereditary history-preserving (hhp-) bisimilarity.
This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.
This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.
- Introduces algebraic properties and laws for localities, one of the important concepts of software engineering for concurrent computing systems
- Discusses algebraic theory for static localities and dynamic localities, including the basis of semantics, calculi, and axiomatization
- Presents all aspects of localities in truly concurrent process algebras, including Calculus for True Concurrency (CTC), Algebra of Parallelism for True Concurrency (APTC), and Process Calculus for True Concurrency (?)
نظرات کاربران
کتاب های تصادفی
دانلود کتاب El fin de la Guerra Civil. Los hechos desconocidos
دانلود کتاب Sculpture, Sexuality and History: Encounters in Literature, Culture and the Arts from the Eighteenth Century to the Present
دانلود کتاب Principios de transferencia de calor (2a. ed.).
