Handbook of Process Algebra
Название:Handbook of Process Algebra
Автор:J.A. Bergstra, A. Ponse, S.A. Smolka
Издательство:Elsevier Science
ISBN:0444828303
Дата издания:2001-03-30
Страниц:1356
Язык:Английский
Формат:PDF
Размер: 57.8 mb
Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra.
This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters.
The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.
Скачать с DEPOSITFILES
Скачать с FILESONIC
Скачать с UPLOADING
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12795 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Дмитрий Глуховский - Собрание сочинений ("Метро 2033", "Метро 2034", "Сумерки", рассказы)
Название: Дмитрий Глуховский - Собрание сочинений ("Метро 2033", "Метро 2034", "Сумерки", рассказы)Автор: Дмитрий ГлуховскийГод издания: 1998-2008Язык: РусскийФормат: doc, rtf, fb2Размер: 8 МбОписани . . .
-
Вечность в объятиях смерти
Название: Вечность в объятиях смертиАвтор: Владимир БрайтИздательство: Эксмо, ДоминоISBN: 978-5-699-44624-7Год издания: 2010Страниц: 448Язык: РусскийФормат: RTF,FB2Размер: 5,8 МбОписание:Победить в . . .
-
Мраморный рай. Вселенная метро (аудиокнига)
Название: Мраморный рай. Вселенная метро (аудиокнига)Автор: Сергей КузнецовИздательство: СамиздатГод издания: 2010Язык: РусскийФормат: МР3Битрейт аудио: 192 kbpsВремя звучания: 8 ч. 26 мин.Читает: Д . . .
-
Костюм в России XV - нач.XX века
Название: Костюм в России XV - нач.XX векаАвтор: коллектив авторовИздательство: Арт-РодникISBN: 5-88896-042-XГод издания: 2000Страниц: 232Язык: РусскийФормат: PDFКачество: отличноеРазмер: 105 МбОпис . . .
-
Углич. Памятники архитектуры и искусства
Название: Углич. Памятники архитектуры и искусстваАвтор: Новиков С. Е.Издательство: Советская РоссияISBN: 5-268-00737-8Год издания: 1988Страниц: 192Язык: РусскийФормат: PDFКачество: отличноеРазмер: . . .
-
Великие художники. Том 34. Босх
Название: Великие художники. Том 34. БосхАвтор: М. Гордеева (автор текста)Серия или выпуск: Великие художникиИздательство: Директ-МедиаISBN: 978-5-7475-0011-2Год издания: 2010Страниц: 52Язык: Русски . . .
-
Designing Smart Homes: The Role of Artificial Intelligence
Название: Designing Smart Homes: The Role of Artificial IntelligenceАвтор: SpringerISBN: 354035994XГод издания: 2006Страниц: 183Язык: АнглийскийФормат: pdfКачество: отличноеРазмер: 5.15 МбОписание:Th . . .
-
Manufacture of Artillery Ammunition
Название: Manufacture of Artillery AmmunitionАвтор: L. P. AlfordИздательство: McGraw-Hill Book CompanyГод издания: 1917Страниц: 788Язык: АнглийскийФормат: pdfКачество: хорошееРазмер: 64.3 МбОписание . . .
-
Домашняя выпечка от Александра Селезнева
Название: Домашняя выпечка от Александра СелезневаАвтор: Селезнев АлександрИздательство: ЭксмоГод издания: 2010-2011Страниц: 288Язык: РусскийФормат: pdfКачество: отличноеРазмер: 90 МбОписание: Новая . . .
-
Susanna Soloalbum 2001/november
Название: Susanna Soloalbum 2001/novemberАвтор: КоллективИздательство: Idea Donna S.r.l.Год издания: 2001/novСтраниц: 43Язык: ИтальянскийФормат: jpgРазмер: 58,5 МбОписание:Специальный выпуск итальян . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Handbook of Process Algebra. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.