Distributed Pi-Calculus

Hennessy Matthew (EN)
Рейтинг 0
  • Понравилось: 0
  • В библиотеках: 0
  • 47
  • 0
  • 0

Скачать книгу в формате:

Аннотация

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.

ЕЩЕ



Отзывы

Популярные книги

Дорогой читатель. Книгу "Distributed Pi-Calculus" Hennessy Matthew (EN) вероятно стоит иметь в своей домашней библиотеке. В тексте находим много комизмов случающихся с персонажами, но эти насмешки веселые и безобидные, близки к умилению, а не злорадству. Периодически возвращаясь к композиции каждый раз находишь для себя какой-то насущный, волнующий вопрос и незамедлительно получаешь на него ответ. Это настоящее явление в литературе, которое не любишь, а восхищаешься всем естеством, оно не нравится, а приводит в неописуемый восторг. Динамичный и живой язык повествования с невероятной скоростью приводит финалу и удивляет непредсказуемой развязкой. Место событий настолько детально и красочно описано, что у читающего невольно возникает эффект присутствия. Попытки найти ответ откуда в людях та или иная черта, отчего человек поступает так или иначе, частично затронуты, частично раскрыты. Положительная загадочность висит над сюжетом, но слово за словом она выводится в потрясающе интересную картину, понятную для всех. Зачаровывает внутренний конфликт героя, он стал настоящим борцом и главная победа для него - победа над собой. С первых строк обращают на себя внимание зрительные образы, они во многом отчетливы, красочны и графичны. Благодаря динамичному и увлекательному сюжету, книга держит читателя в напряжении от начала до конца. "Distributed Pi-Calculus" Hennessy Matthew (EN) читать бесплатно онлайн очень интересно, поскольку затронутые темы и проблемы не могут оставить читателя равнодушным.

Читать Distributed Pi-Calculus

Новинки

Князь Курбский и опричнина Ивана Грозного
  • 1
  • 0
  • 0

Жанр: История

Аннотация:

Настоящий сборник включает ставшие классическими работы Юрия Дмитриевича Рыкова (1946-2020) по мно...

Полный текст — 0 стр.

Настоящий сборник включает ставшие классическими работы Юрия Дмитриевича Рыкова (1946-2020) по мно...

Ревизор: возвращение в СССР 64
  • 9
  • 1
  • 0

Аннотация:

Продолжение приключений московского аудитора, попавшего из нашего времени в 1971 год. Павел Ивлев...

Полный текст — 73 стр.

Продолжение приключений московского аудитора, попавшего из нашего времени в 1971 год. Павел Ивлев...

Кузьма Минин
  • 3
  • 0
  • 0

Аннотация:

В книге реконструируется биография организатора Нижегородского ополчения 1611-1612 гт. Кузьмы Мини...

Полный текст — 0 стр.

В книге реконструируется биография организатора Нижегородского ополчения 1611-1612 гт. Кузьмы Мини...

В ловушке лжи
  • 92
  • 1
  • 0

Аннотация:

- Тебе же нравится, когда я вот так к себе прикасаюсь, правда, Егор? - слышу я голос учительницы сво...

Полный текст — 66 стр.

- Тебе же нравится, когда я вот так к себе прикасаюсь, правда, Егор? - слышу я голос учительницы сво...

Обнуление
  • 10
  • 0
  • 0

Аннотация:

Красные – зрение. Самые дорогие и необходимые. Синие – слух. Зеленые – обоняние и вкус. В новом мир...

Полный текст — 63 стр.

Красные – зрение. Самые дорогие и необходимые. Синие – слух. Зеленые – обоняние и вкус. В новом мир...

Мурзилка 1964 №01
  • 4
  • 0
  • 0

Аннотация:

«Мурзилка» — ежемесячный литературно-художественный журнал для детей. Первый номер вышел 16 мая 19...

Полный текст — 0 стр.

«Мурзилка» — ежемесячный литературно-художественный журнал для детей. Первый номер вышел 16 мая 19...

Мужчина в тени
  • 20
  • 0
  • 0

Аннотация:

Роковой выстрел в коридоре Смольного эхом отозвался через десятилетия. Для всей страны это страница ...

Полный текст — 84 стр.

Роковой выстрел в коридоре Смольного эхом отозвался через десятилетия. Для всей страны это страница ...