Аннотация к книге "Calculus of Communicating Systems"
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction. CCS is useful...
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock. According to Milner, "There is nothing canonical about the choice of the basic combinators, even though they were chosen with great attention to economy. What characterises our calculus is not the exact choice of combinators, but rather the choice of interpretation and of mathematical framework".
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Пер. с итал.: Н. Я. Рыкова Послесл. и коммент.: В. И. Рутенбург Иллюстрации (33 штуки): Р. Р. Доминов «История Флоренции» — фундаментальный историко-философский труд Никколо Макьявелли (1469-1527), одного из самых влиятельных политических мыслителей эпохи Возрождения. В книге подробно рассматривается политическая и социальная жизнь Флоренции, смена форм правления и борьба за власть с античных времен до...
- Новинка серии ЖИЛ («Жизнь известных людей»). - Нестандартный взгляд на судьбу классика, лауреата Нобелевской премии. Повествование о жизни Бунина идет в обратном направлении — от смерти к рождению. - Книга раскрывает внутренний мир Бунина, мировоззрение, дружеские и неприязненные взаимоотношения с современниками, мытарства в эмиграции. - Дмитрий Воденников — писатель, поэт, литературовед, автор книг...
Новый бестселлер от автора культовой дилогии «Танатонавты»! Что станет с миром, если человек изменит свою форму? Создать новый гибрид человека — безумие или необходимость? Проект Алисы Камерер увенчался успехом: она изобрела химер, наполовину людей, наполовину — животных. Одни химеры могут летать, другие — дышать под водой, и третьи — жить под землей. Гениальную ученую называли...
«Укрытие» — новый сборник рассказов Алексея Колесникова, одного из самых ярких голосов современной прозы. Это продолжение вышедшей ранее «Экспроприации», где тревожное ожидание катастрофы сменяется её наступлением. Теперь герои вынуждены жить в новой реальности — прифронтовой, тревожной, будто бы сдвинутой с оси. Десять историй — от жёсткого реализма до гротеска и притчи, от иронии до...
Иллюстрации: В. А. Мишин. Составление, статья: М. М. Павлова. Подготовка текста и комментарии: М. М. Павлова, В. В. Филичева. В том избранной прозы одного из крупнейших писателей Серебряного века Фёдора Сологуба (1863—1927) включены произведения 1890-х — начала 1910-х годов: рассказы, новеллы, легенды, аллегории, притчи, сказки. Центральное место здесь отведено рассказам о детях (не предназначенным для...
Книга проекта Otalandfeu.com , предназначенная для изучения иврита вместе с ребенком. Что это за книга? Трогательная и веселая история о том, как встретились и подружились Отал и Феу - "таксик" и маленький черный котенок. История рассказывается от имени мальчика, в семье которого это произошло. Книга доступна на русском, английском и иврите. Все книги серии . Иллюстрации Алёны Чепурченко . Книга прекрасно издана...
R является самым популярным в мире языком статистических вычислений: археологи используют его, изучая древние цивилизации, фармацевтические компании выясняют, какие лекарства наиболее безопасны и эффективны, а финансисты задействуют его для оценки рисков и удержания позиций на рынке. «Искусство программирования на R» - это путешествие, в которое вы отправляетесь с опытным гидом, готовым поделиться...
ISBN: 978-5-4461-1101-5
Издательство:
Питер
Дата выхода: март 2019
Оставить комментарий