توضیحات
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behavior. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication, and Fischer’s Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate.
————————————————————–
ترجمه ماشینی :
جبر فرآیندی یک تکنیک به طور گسترده پذیرفته شده و بسیار مورد استفاده در مشخصات و تأیید سیستم های نرم افزاری موازی و توزیع شده است. این کتاب استانداردهای این رشته را تعیین می کند. نتایج مربوط به اکثر جبرهای فرآیندی که در حال حاضر استفاده می شوند را جمع آوری می کند و آنها را در یک چارچوب و نماد یکپارچه ارائه می کند. نویسندگان نظریه زیربنای توسعه، تحقق و نگهداری نرم افزار را که در سیستم های موازی یا توزیع شده رخ می دهد، توصیف می کنند. یک سیستم را می توان در نحو ارائه شده مشخص کرد و از بدیهیات می توان برای تأیید اینکه یک سیستم ترکیبی رفتار خارجی مورد نیاز را دارد استفاده کرد. به عنوان مثال، دو پروتکل به طور کامل در متن مشخص و تأیید شده است: پروتکل بیت متناوب برای ارتباطات داده، و پروتکل حذف متقابل فیشر. این کتاب به عنوان یک متن مرجع برای محققان و دانشجویان فارغ التحصیل در علوم کامپیوتر عمل می کند و یک نمای کلی از این رشته ارائه می دهد و در صورت لزوم به ادبیات بیشتر مراجعه می کند.
tag : دانلود کتاب جبر فرآیندی: نظریه های معادله فرآیندهای ارتباطی , Download جبر فرآیندی: نظریه های معادله فرآیندهای ارتباطی , دانلود جبر فرآیندی: نظریه های معادله فرآیندهای ارتباطی , Download Process Algebra: Equational Theories of Communicating Processes Book , جبر فرآیندی: نظریه های معادله فرآیندهای ارتباطی دانلود , buy جبر فرآیندی: نظریه های معادله فرآیندهای ارتباطی , خرید کتاب جبر فرآیندی: نظریه های معادله فرآیندهای ارتباطی , دانلود کتاب Process Algebra: Equational Theories of Communicating Processes , کتاب Process Algebra: Equational Theories of Communicating Processes , دانلود Process Algebra: Equational Theories of Communicating Processes , خرید Process Algebra: Equational Theories of Communicating Processes , خرید کتاب Process Algebra: Equational Theories of Communicating Processes ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.